]> matita.cs.unibo.it Git - helm.git/commit
snapshot, notably history no longer remember annotations: they are
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 08:17:57 +0000 (08:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 08:17:57 +0000 (08:17 +0000)
commit3705200c998538c28d8cd9d3ca557616837daf05
tree477c53ec99f1daf0d178b312f818f1a27b702847
parent29969baf115afff7eb9ea9e2ca98d40ab7006dcc
snapshot, notably history no longer remember annotations: they are
computed on the fly
13 files changed:
helm/matita/.depend
helm/matita/Makefile.in
helm/matita/buildTimeConf.ml.in
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaInterpreter.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaProof.ml
helm/matita/matitaTypes.ml