]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 248bd94) | patch
small error inside mk_meta_theory.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jun 2001 13:36:53 +0000 (13:36 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Jun 2001 13:36:53 +0000 (13:36 +0000)
commit284a64d14be59e3e98c8c8b804ece722eaea3a85
treeb5f908f0252ff2cfd691387df54e7f5b59a3a7b8tree | snapshot
parent248bd949304738ed45619b116e1e94a4dbc00555commit | diff
small error inside mk_meta_theory.
helm/style/mk_meta_theory.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.