Isabelle_DOF/document-generator/latex
Achim D. Brucker f6847b4e42 Initial support for scrartcl class. 2018-06-14 22:27:01 +01:00
..
DOF-cenelec_50126.sty Split ontologies from templates - they can now be configured separately. 2018-06-08 12:54:45 +01:00
DOF-core.sty Einführung des commands fuer declare_reference . . . figure 2018-06-12 22:19:32 +02:00
DOF-mathex.sty LaTeX support for monitors. 2018-06-12 08:45:37 +01:00
DOF-scholarly_paper.sty Initial support for scrartcl class. 2018-06-14 22:27:01 +01:00