]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5009b8f) | patch
Several bug-fixes:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 15:13:58 +0000 (15:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 15:13:58 +0000 (15:13 +0000)
commitc75bfdd4162050012614b70a68eff57fc3eabcc4
treef1dc2f51a46d8069566b4da3e29bc59203bd0da9tree | snapshot
parent5009b8ff136b9f8ef2f8fef35dfc8e3598d63e52commit | diff
Several bug-fixes:
 - URIs shortened
 - Assumption did not lift the hypothesis ==> the unification always failed
helm/gTopLevel/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.