]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ad16d1) | patch
1. bug in addition of universe constraints fixed: the recursive
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Dec 2010 10:32:44 +0000 (10:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Dec 2010 10:32:44 +0000 (10:32 +0000)
commit77dbf2cad247bbcb13e39c4341573b220d1d08a9
treedcd04079f5c87c647bb61a1c3d091feb509a4f78tree | snapshot
parent7ad16d18416a08382d62747fce4a0ac18ee557e0commit | diff
1. bug in addition of universe constraints fixed: the recursive
   inclusion does not add constraints to the NCicLibrary.storage
2. since we no longer perform recursive cleaning,
   NCicEnvironment.invalidate_item is no longer recursive. This fixed
   definitely the bugs in undo/redo linked to "include"s
matita/components/grafite_engine/grafiteEngine.ml diff | blob | history
matita/components/ng_kernel/nCicEnvironment.ml diff | blob | history
matita/components/ng_kernel/nCicEnvironment.mli diff | blob | history
matita/components/ng_library/nCicLibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.