]> 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)
commit358720b93255d1aa526dc03c63a5d6193658b93b
treef8b460cadc3bf3ced392dc92caebea4f4f406b40
parent918b39ec5f3477499230c7370d4798f20a65cd8d
to tired to write a message.
matita/.depend
matita/Makefile
matita/matitaEngine.ml
matita/matitaExcPp.ml
matita/matitaGtkMisc.ml
matita/matitaGtkMisc.mli
matita/matitaScript.ml