]> matita.cs.unibo.it Git - helm.git/commit
triciclo.conf.xml ==> gTopLevel.conf.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 10:47:02 +0000 (10:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 10:47:02 +0000 (10:47 +0000)
commit5aee2f85474686a307f2acda957ffe363a72eff3
tree4d823d6f3ac33ec6df8abd302bed7b1ac6b45d3d
parentca5e7b2095256b1ee99acf6bac3c8f7f55d78255
triciclo.conf.xml ==> gTopLevel.conf.xml
helm/gTopLevel/gTopLevel.conf.xml.sample [new file with mode: 0644]
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/triciclo.conf.xml.sample [deleted file]