]> matita.cs.unibo.it Git - helm.git/commit
aded confirmation dialog for baseuri redefinement
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jul 2005 13:43:05 +0000 (13:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jul 2005 13:43:05 +0000 (13:43 +0000)
commit6fa3a1e91d8a1e647775ca101255633ba265a9f2
tree05e76714c9b65190427660f1fefd139eba0d4237
parent628d69ccb38327e50863bb4d572ece3e8e8d6343
aded confirmation dialog for baseuri redefinement
helm/matita/matita.ml
helm/matita/matitaMathView.ml
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/matitaSync.ml
helm/matita/matitacleanLib.ml
helm/matita/matitacleanLib.mli