]> matita.cs.unibo.it Git - helm.git/commit
Large commit:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Dec 2010 17:10:54 +0000 (17:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Dec 2010 17:10:54 +0000 (17:10 +0000)
commit75f910c7001ba5a6abe61fc93a2731753c7ba188
treec2aea73fb460b02e531b900f09268500efe53256
parent53452958508001e7af3090695b619fe92135fb9e
Large commit:

1) some dead code removed
2) code of MatitaClean commented out (but still there for disambiguation and
   the like?)
3) dependencies and uris moved into dumpable_status (from other statuses
   and/or imperative code) and made functional
4) all the bugs related to recursive compilation seem to have been fixed by 3)
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/grafiteTypes.ml
matita/components/grafite_engine/grafiteTypes.mli
matita/components/grafite_engine/nCicCoercDeclaration.ml
matita/components/library/libraryClean.ml
matita/components/ng_library/nCicLibrary.ml
matita/components/ng_library/nCicLibrary.mli
matita/components/statuses.txt
matita/matita/matitaEngine.ml
matita/matita/matitaEngine.mli
matita/matita/matitaGui.ml