]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d51b44) | patch
More informative exceptions raised.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 9 Oct 2005 13:42:52 +0000 (13:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 9 Oct 2005 13:42:52 +0000 (13:42 +0000)
commit469128f88cdcaba09daf57b595541b67b8077ded
treeb4e69125aaf6f2461e3e60de99902bb905084cb6tree | snapshot
parent9d51b4473dd2b28eae6dd9800ca54d7247d6af1bcommit | diff
More informative exceptions raised.
helm/ocaml/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.