]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95e3f86) | patch
* update (ask claudio for details)
authorLuca Padovani <luca.padovani@unito.it>
Fri, 30 May 2003 17:27:46 +0000 (17:27 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 30 May 2003 17:27:46 +0000 (17:27 +0000)
commitc313e16a5cc51ef7c4766aaafdf8f681eaf3d762
tree12138071e55f3ba38d29001e1f048fdbd1d6968btree | snapshot
parent95e3f864d28d8577da100f1a775d4cd0a38d8882commit | diff
* update (ask claudio for details)
helm/gTopLevel/cic2Xml.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.