]> matita.cs.unibo.it Git - helm.git/commit
0.5.3
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 21:30:49 +0000 (21:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 21:30:49 +0000 (21:30 +0000)
commit65aa5d46b240da7b91e57fc74890d8544aa479c3
tree8ddc2bc57375ac8837d317c79f23fc851b26a29d
parent9440ccb19f25005bfd7baa1000b729e45b9592d4
0.5.3
helm/software/configure.ac
helm/software/matita/dist/ChangeLog
helm/software/matita/matita.glade
helm/software/matita/matitaMathView.ml