]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99a43ad) | patch
- bug fixed (introduced by last commit from Andrea in MatitaEngine):
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Oct 2010 14:41:16 +0000 (14:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Oct 2010 14:41:16 +0000 (14:41 +0000)
commitf68f58e17f9be1d3760dd79064fb950d1aa885e1
tree256a31e2125bfc6afc8d39d03b085fe01b71992dtree | snapshot
parent99a43adccee356e3d6057f67114c5cf08518b3f3commit | diff
- bug fixed (introduced by last commit from Andrea in MatitaEngine):
  recursive inclusion was de-activated
- some dead code removal
matita/components/grafite_engine/grafiteEngine.ml diff | blob | history
matita/components/grafite_engine/grafiteEngine.mli diff | blob | history
matita/components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
matita/components/grafite_parser/grafiteDisambiguate.mli diff | blob | history
matita/components/grafite_parser/grafiteParser.ml diff | blob | history
matita/components/grafite_parser/test_parser.ml diff | blob | history
matita/components/ng_refiner/nCicRefineUtil.ml diff | blob | history
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.