]> matita.cs.unibo.it Git - helm.git/commit
added records
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 10 Jun 2005 16:57:33 +0000 (16:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 10 Jun 2005 16:57:33 +0000 (16:57 +0000)
commit2dde94202f728a388eabd91018d71c0bce0708cb
treeb426884f48de3065de4ccf4ae4436fdffdad0511
parent72f2faebd85bf6a191325b1ac39f051b22e8d838
added records
helm/matita/matitaEngine.ml
helm/matita/matitaGui.ml
helm/matita/matitaSync.ml
helm/matita/matitaSync.mli
helm/matita/tests/test_abort.ma [deleted file]
helm/ocaml/cic_disambiguation/cicTextualParser2.ml