]> matita.cs.unibo.it Git - helm.git/commit
tags dir for the "DEVEL" trunk
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Aug 2006 13:29:51 +0000 (13:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Aug 2006 13:29:51 +0000 (13:29 +0000)
commit23e5771cbe677a49282c6247e74a6f66a905bf95
tree4b825dc642cb6eb9a060e54bf8d69288fbee4904
parenteb489065bcb3825e0a0f0051c9047e534e765488
tags dir for the "DEVEL" trunk