]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8164f9) | patch
Semantics of try changed (fixed) when applied to multiple goals that can now
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Dec 2010 22:52:49 +0000 (22:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Dec 2010 22:52:49 +0000 (22:52 +0000)
commit3ace6e853d2cb8ce8c98b7d8c07a4f6c6b61ba84
tree417b8827038e6d25cc3b4181da316408e3d2253atree | snapshot
parente8164f9de889435794efac0fa83fc7b9b766428fcommit | diff
Semantics of try changed (fixed) when applied to multiple goals that can now
fail independently.
matita/components/grafite_engine/grafiteEngine.ml diff | blob | history
matita/components/ng_tactics/nTactics.ml diff | blob | history
matita/components/ng_tactics/nTactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.