]> matita.cs.unibo.it Git - helm.git/commit
More statuses converted to objects.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 08:34:19 +0000 (08:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Jun 2009 08:34:19 +0000 (08:34 +0000)
commit290350836dd1727b3e3cdd4ee71e666a39cc4a09
treeaaff0e865b3d3611290a7a6875e5486787cb5d0f
parentf4c17198d8afe7c8cd62dbab527d08902d891491
More statuses converted to objects.
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/matitaGui.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaWiki.ml
helm/software/matita/matitacLib.ml