]> matita.cs.unibo.it Git - helm.git/commit
added comments, fixed history, added loadList to browser
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:23:07 +0000 (15:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:23:07 +0000 (15:23 +0000)
commitde4483296d06aac3df4da10d5401b1f97c4350ab
tree05cebc3f806241f609f161a667b1af1609b15931
parent157f12c3cb9cc4ed5ba9d1e46c64a593c7fd9481
added comments, fixed history, added loadList to browser
18 files changed:
helm/matita/matita.conf.xml
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matita.txt
helm/matita/matitaEngine.ml
helm/matita/matitaGtkMisc.ml
helm/matita/matitaGtkMisc.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/matitaTypes.ml
helm/matita/tests/test4.ma
helm/matita/tests/test_instance.ma