fixixing arithmetics symbols
starting development on html workflow
upgrading to two-models case
more ignorance
fixed model generation
updating LaTeXML stylesheets from distributino, first version of htmlpost.xsl
fixing schema for theory
more ignorance
setting up validatino
the rng moved to its own directory ../rng
obsolete
reorganizing svg files into ../svg
typo
fixing fragid
transforming theories
more testing
fixing schema to get definitions working
extending xsl postprocessing
testing
leftover babel feature from smultiling