Way to pull out definitions/thms/etc

XimeraProject / ximeraLatex

Author tools for creating Ximera activities

LaTeX Project Public License v1.3c

40 stars 35 forks source link

Closed bartsnapp closed 5 years ago

bartsnapp commented 6 years ago

How can we pull out list etc of stuff

bartsnapp commented 5 years ago

This should be done using command line tools