]> matita.cs.unibo.it Git - helm.git/commit
CicCache ==> CicEnvironment (in testlibrary.ml)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Feb 2004 14:07:21 +0000 (14:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Feb 2004 14:07:21 +0000 (14:07 +0000)
commit845407985feddc9974cac58ba93e6743a4db95c5
tree44212499ae85892389a6b92d23d7368f34a42f10
parent923b3910899f2afa1c74e1973d484d088a0251c8
CicCache ==> CicEnvironment (in testlibrary.ml)
helm/gTopLevel/Makefile