]> matita.cs.unibo.it Git - helm.git/commit
added autosave and * (modified feature)
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Jun 2005 15:32:48 +0000 (15:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Jun 2005 15:32:48 +0000 (15:32 +0000)
commita956992315e3a723c69dff5edc361ea3db75cd54
treeaee279e0cd911c6e8a130ff8709049842af3cd6b
parent23641e7c4b061a2dbc5862d763e8c3602793a94c
added autosave and * (modified feature)
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/tests/rewrite.ma