]> matita.cs.unibo.it Git - helm.git/commit
Estatus finally merged into the global status using inheritance.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 10:16:23 +0000 (10:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 10:16:23 +0000 (10:16 +0000)
commit779859f7a9e317e378d258897c289f447adea7ad
tree08a9a5e3610dd51dba3e179cc40624e44a5880a6
parent9a7c77e5c29d764109a104aa629761ba90cb511c
Estatus finally merged into the global status using inheritance.
Major code simplification everywhere :-)
12 files changed:
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_engine/grafiteSync.ml
helm/software/components/grafite_engine/grafiteTypes.ml
helm/software/components/grafite_engine/grafiteTypes.mli
helm/software/matita/matita.ml
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaGui.ml
helm/software/matita/matitaGuiTypes.mli
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaWiki.ml
helm/software/matita/matitacLib.ml