]> matita.cs.unibo.it Git - helm.git/commit
triciclo.conf.xml ==> gTopLevel.conf.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 Feb 2004 16:32:43 +0000 (16:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 Feb 2004 16:32:43 +0000 (16:32 +0000)
commit7938c0aa7ee2f7667dbdb74139043b095d646026
treee9145b2e8f3d25d458450b2f51d917a0bf99c854
parent694386f0213ea7c07afb173a378335e7030020f9
triciclo.conf.xml ==> gTopLevel.conf.xml
helm/gTopLevel/testlibrary.ml