]> matita.cs.unibo.it Git - helm.git/commit
New: refinement is now used to disambiguate parsing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 22 Dec 2002 19:06:27 +0000 (19:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 22 Dec 2002 19:06:27 +0000 (19:06 +0000)
commit3fcde61beded58d18775c13906b9741ba4735864
tree40babbb35b9268de696276ab2b07aec2e64da01f
parentbdf8492f9e68500178dccde1c6f8614296f7c7dc
New: refinement is now used to disambiguate parsing.
helm/gTopLevel/.depend
helm/gTopLevel/gTopLevel.ml