]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6cc7d4) | 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)
commitaf9c6c84fe2d1a44517c5a7eca569889d452f7cd
treea8fe036ae5ca76337ec25aa275605795f0715693tree | snapshot
parente6cc7d4297352151b0fefe44cbe57cbe63a1c579commit | diff
- better formatting/factorization of tables used for grammar description
- improved rendering toward TeX
matita/help/C/Makefile diff | blob | history
matita/help/C/matita-tex.xsl diff | blob | history
matita/help/C/matita-xhtml.xsl diff | blob | history
matita/help/C/matita.xml diff | blob | history
matita/help/C/sec_install.xml diff | blob | history
matita/help/C/sec_terms.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.