]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6baf07f) | patch
The name of TD proofs was erroneously always set to previous.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 13:19:20 +0000 (13:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 13:19:20 +0000 (13:19 +0000)
commit135dd1812b3c512cb2d82ba9781e1b4489cdbc04
tree72651383724b13a556bff2e7c4da19ccd68d03f0tree | snapshot
parent6baf07f7ebd9b40e642467f01a66920d9fb1448acommit | diff
The name of TD proofs was erroneously always set to previous.
helm/ocaml/cic_omdoc/cic2content.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.