]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4108cbe) | patch
auto syntax updated
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 May 2008 09:46:16 +0000 (09:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 26 May 2008 09:46:16 +0000 (09:46 +0000)
commitf569c2d610c176b1d85de41968c2f3fbe2aef4e2
tree3920a8622184dc0510436319bc0b02dbba8f065ctree | snapshot
parent4108cbe1ef492c92cc6c7576e9c4148760637eafcommit | diff
auto syntax updated
helm/software/matita/help/C/sec_tactics.xml diff | blob | history
helm/software/matita/help/C/sec_terms.xml diff | blob | history
helm/software/matita/help/C/tactics_quickref.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.