Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | GNU-FDL | 20403 | logstatsplain |
-rw-r--r-- | GNU-GPL | 18011 | logstatsplain |
-rw-r--r-- | HTML+Blahtex.xml | 929 | logstatsplain |
-rw-r--r-- | HTML+MathML.xml | 2028 | logstatsplain |
-rw-r--r-- | ISTtoTeX.xslt | 1560 | logstatsplain |
-rw-r--r-- | InputSymbolTranslation.tex | 20866 | logstatsplain |
-rw-r--r-- | README | 1061 | logstatsplain |
-rw-r--r-- | example1.xml | 163 | logstatsplain |
-rw-r--r-- | example2.xml | 151 | logstatsplain |
-rw-r--r-- | example3.xml | 188 | logstatsplain |
-rw-r--r-- | example4.xml | 126 | logstatsplain |
-rw-r--r-- | logo.png | 29600 | logstatsplain |
-rw-r--r-- | makefile | 4372 | logstatsplain |
-rw-r--r-- | manual.tex | 90685 | logstatsplain |
d--------- | source | 471 | logstatsplain |