]> matita.cs.unibo.it Git - helm.git/commit
to tired to write a message.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 23:44:51 +0000 (23:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 23:44:51 +0000 (23:44 +0000)
commit817fcba1df847f7332f120ca13ed9374839be1b1
tree2860b10e9dab9142252f0eb69ba3cb497b1b2f1c
parentb95be966e385957a25f26a41f45e0116955264ae
to tired to write a message.
helm/software/matita/.depend
helm/software/matita/Makefile
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaExcPp.ml
helm/software/matita/matitaGtkMisc.ml
helm/software/matita/matitaGtkMisc.mli
helm/software/matita/matitaScript.ml