]> matita.cs.unibo.it Git - helm.git/commit
bugfixes:
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Sep 2005 13:52:37 +0000 (13:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Sep 2005 13:52:37 +0000 (13:52 +0000)
commitf6e34efbe6ce54f87d62997a0b81ca541a12d3da
tree2ece12c1ec7043edc3c4833b80de6eac6a516ec1
parent13494c7c3ca9fde61c7476d0be6109b33c64b3a7
bugfixes:
1) ask for saving/mooing only when the user has choosen a file to load
2) opening a file doesn't call goto_top (removing all xml, even if the moo has
   been generated). This fix should enforce the invariant that a moo exists only
   if the corrsponding xml objects do.
3) the switch_page callback is inhibited before removing pages in
   sequentViewers#reset
helm/matita/matita.ml
helm/matita/matitaGui.ml
helm/matita/matitaMathView.ml
helm/matita/matitaScript.ml