]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 541a200) | patch
fixed currentproof
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 16:46:12 +0000 (16:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 16:46:12 +0000 (16:46 +0000)
commita826cb23fc70a37b3ba3b7bbaee8862467a4a875
tree8786c3f12b2b3fd36062a2a55a80dcba2f7862fetree | snapshot
parent541a200b13431987114dd3fd88ec9764cee1e772commit | diff
fixed currentproof
helm/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.