]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c347684) | patch
an assert failure changed to an exception and a bit of code cleanupt
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:51:04 +0000 (14:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:51:04 +0000 (14:51 +0000)
commit6a5752ce7b5d3fc6fea133b49cf7fd7a9e03deb4
tree29eb089cce066d1f42150e55b2d93b1f1a40472ftree | snapshot
parentc347684900a4e2b17a6c1d372fb142bebd8cd250commit | diff
an assert failure changed to an exception and a bit of code cleanupt
helm/ocaml/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.