]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 284a64d) | patch
":" bug in theory_pres fixed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jun 2001 14:05:12 +0000 (14:05 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jun 2001 14:05:12 +0000 (14:05 +0000)
commite0b82162b9c15732848a13978bb521e325e81158
tree43e119c56b20edf7a56531016cc1f6df69e09a88tree | snapshot
parent284a64d14be59e3e98c8c8b804ece722eaea3a85commit | diff
":" bug in theory_pres fixed.
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.