]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8e6e32) | patch
- for/of attribute no more checked ;-(
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Oct 2002 10:47:14 +0000 (10:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Oct 2002 10:47:14 +0000 (10:47 +0000)
commit96cfa10549351789f8eb97cbcefe01c68738b5ec
tree5d18ee625d834f6b37034db44594ca7d080f5157tree | snapshot
parentd8e6e320b85cef6ff4dd70ab74bd6bc9398b734fcommit | diff
- for/of attribute no more checked ;-(
- parsing does not require any more the current uri (that was unclear
  for CurrentProof)
- as a consequence of the previous change the parser should now be reentrant
helm/ocaml/cic/cicParser.ml diff | blob | history
helm/ocaml/cic/cicParser.mli diff | blob | history
helm/ocaml/cic/cicParser2.ml diff | blob | history
helm/ocaml/cic/cicParser3.ml diff | blob | history
helm/ocaml/cic/cicParser3.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.