]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88600f0) | patch
A better (but yet not empty) metasenv is now returned.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 7 Feb 2004 17:58:39 +0000 (17:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 7 Feb 2004 17:58:39 +0000 (17:58 +0000)
commit8a62bb1bc12b3a40f54f9d77da204533fc215b0d
treee15026cd80cf410de9293e46289f04bf1456c2eetree | snapshot
parent88600f044c826df73c805e10fc9f8e6d4a3921bfcommit | diff
A better (but yet not empty) metasenv is now returned.
helm/gTopLevel/tests/lambda03.cic.test diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.