]> matita.cs.unibo.it Git - helm.git/commit
reverted last commit
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:10:17 +0000 (13:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:10:17 +0000 (13:10 +0000)
commit5607af6fdc2f4a42edec3318545cbd0ae805ca71
tree3683f05096427bfed0ab38765daa4a9f747ab8f9
parent071bb57c99e38a52d2606f7aca47bf56cdeaff53
reverted last commit
helm/software/matita/matita.conf.xml.in