]> matita.cs.unibo.it Git - helm.git/commit - helm/gTopLevel/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923b391) | patch
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
tree44212499ae85892389a6b92d23d7368f34a42f10tree | snapshot
parent923b3910899f2afa1c74e1973d484d088a0251c8commit | diff
CicCache ==> CicEnvironment (in testlibrary.ml)
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.