]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37daa22) | patch
bugfix: evaluation of object commands is now atomic wrt status (including CicEnvironm...
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 14:58:15 +0000 (14:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 14:58:15 +0000 (14:58 +0000)
commit02fdd903558257c3992fb6e71db2bf10f9e744a6
tree5ba33cf8239b56d8b035f5b1ec8a5779e21a6c8btree | snapshot
parent37daa227f906a30b6d142e03f7589961476ce50dcommit | diff
bugfix: evaluation of object commands is now atomic wrt status (including CicEnvironment, metadata, and the heck ...), either it succeed returning a new status or raises an exception leaving the status unchanged
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.