]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a32474) | patch
- non empty metasenv after the parsing phase are now accepted
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 10:43:54 +0000 (10:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 10:43:54 +0000 (10:43 +0000)
commit2d4edf383bab53053da30ab591dc0d3140adec34
tree95355c806d079038e13b822298419d4f27ef2067tree | snapshot
parent4a324741ecde2a78df8d0ef31d197af96b97472dcommit | diff
- non empty metasenv after the parsing phase are now accepted
- still many bugs open (due to the new aliases for symbols)
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.