]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 914b0da) | patch
added eqT's macro
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:41:14 +0000 (16:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:41:14 +0000 (16:41 +0000)
commitae7cc618dff26f39f6bd4040aca2b670ffd2b8cc
tree9a379b0de5e67c0a5fec4c0e756be8a0d321f2f0tree | snapshot
parent914b0da7aa23c8d11db1e415c56594ac52972b58commit | diff
added eqT's macro
helm/gTopLevel/dictionary-cic.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.