]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da6508e) | patch
Serious bug fixed: without a Lazy.force the user obtained an error comparing
authorEnrico Zoli <??>
Fri, 20 Oct 2006 08:35:00 +0000 (08:35 +0000)
committerEnrico Zoli <??>
Fri, 20 Oct 2006 08:35:00 +0000 (08:35 +0000)
commitfae6f153d6dad76b6ccfce17a6b3d997db338d2e
tree39c123c09809f1509aedbc3f23bf5e629aafc319tree | snapshot
parentda6508e03383ea85c675d1ed44613be8059d0deecommit | diff
Serious bug fixed: without a Lazy.force the user obtained an error comparing
two functional values.
matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.