]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77dbf2c) | patch
1. bug fixed: in the last commit on NCicLibrary we forgot that
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Dec 2010 12:11:57 +0000 (12:11 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Dec 2010 12:11:57 +0000 (12:11 +0000)
commitc9bb60cf6fc39876e2dc7bf40fd650080d0d218f
treedb85cf7006ca89c799ddb72aeb02279c78ef3bb4tree | snapshot
parent77dbf2cad247bbcb13e39c4341573b220d1d08a9commit | diff
1. bug fixed: in the last commit on NCicLibrary we forgot that
   get_already_included must be transitively closed; fixed and changed
   the function name
2. added a cache to assert_ng (called ~asserted) to avoid re-asserting
   the same file twice during a single include command
matita/components/grafite_engine/grafiteEngine.ml diff | blob | history
matita/components/ng_library/nCicLibrary.ml diff | blob | history
matita/components/ng_library/nCicLibrary.mli diff | blob | history
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.