]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/matitaGui.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5345295) | patch
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
treec2aea73fb460b02e531b900f09268500efe53256tree | snapshot
parent53452958508001e7af3090695b619fe92135fb9ecommit | diff
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 diff | blob | history
matita/components/grafite_engine/grafiteTypes.ml diff | blob | history
matita/components/grafite_engine/grafiteTypes.mli diff | blob | history
matita/components/grafite_engine/nCicCoercDeclaration.ml diff | blob | history
matita/components/library/libraryClean.ml diff | blob | history
matita/components/ng_library/nCicLibrary.ml diff | blob | history
matita/components/ng_library/nCicLibrary.mli diff | blob | history
matita/components/statuses.txt diff | blob | history
matita/matita/matitaEngine.ml diff | blob | history
matita/matita/matitaEngine.mli diff | blob | history
matita/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.