]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c0736b) | patch
- better formatting/factorization of tables used for grammar description
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jun 2006 11:22:00 +0000 (11:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jun 2006 11:22:00 +0000 (11:22 +0000)
commitce3086647682ebfa15e9e8abaacd6e817449cea2
tree575324b87294f63ed2186cafc75c0d6811c9c724tree | snapshot
parent4c0736b3d362197b2548ac6d81ce6d4e9a19b37bcommit | diff
- better formatting/factorization of tables used for grammar description
- improved rendering toward TeX
helm/software/matita/help/C/Makefile diff | blob | history
helm/software/matita/help/C/matita-tex.xsl diff | blob | history
helm/software/matita/help/C/matita-xhtml.xsl diff | blob | history
helm/software/matita/help/C/matita.xml diff | blob | history
helm/software/matita/help/C/sec_install.xml diff | blob | history
helm/software/matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.