]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 14:48:34 +0000 (14:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 14:48:34 +0000 (14:48 +0000)
commitf13ff83aab6c1f5c0c3463a0284c873c5bc1fe34
tree3377f8360382ce6c861aff82afd4d605331afc74
parent98af6b692e80b3ce45886b89100812047d67c3bd
fix
helm/matita/matita.conf.xml [deleted file]
helm/matita/matita.conf.xml.sample [new file with mode: 0644]