]> matita.cs.unibo.it Git - helm.git/commit
WARNING: partial commit.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 20:57:21 +0000 (20:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 20:57:21 +0000 (20:57 +0000)
commit53a5acbe28212706be9c684d612aee1ccb165587
tree64c349e09a0ab400695721eb1741213b1cf01515
parentaab0401db0bedd941da96a32acd600af3fbe42e7
WARNING: partial commit.

- matita is compiling again, but totally untested
- major re-organization of the statuses
15 files changed:
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/grafiteEngine.mli
matita/components/grafite_engine/grafiteTypes.ml
matita/components/grafite_engine/grafiteTypes.mli
matita/components/grafite_engine/nCicCoercDeclaration.ml
matita/components/grafite_parser/grafiteDisambiguate.ml
matita/components/grafite_parser/grafiteDisambiguate.mli
matita/components/ng_library/nCicLibrary.ml
matita/components/ng_library/nCicLibrary.mli
matita/components/ng_tactics/nTactics.ml
matita/components/statuses.txt
matita/matita/matitaEngine.ml
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitacLib.ml