]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 194de29) | patch
* inner types file generation ported to V7_3_new_exportation
authorLuca Padovani <luca.padovani@unito.it>
Fri, 30 May 2003 16:38:16 +0000 (16:38 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 30 May 2003 16:38:16 +0000 (16:38 +0000)
commit95e3f864d28d8577da100f1a775d4cd0a38d8882
tree19139e12aab249feb93971786ed2dcdebc3d8f3atree | snapshot
parent194de297e16afcd857f36aba9c06fa6919654d94commit | diff
* inner types file generation ported to V7_3_new_exportation
helm/gTopLevel/cic2Xml.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.