]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e627ae3) | patch
* identifiers can now also have digits in them
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:34:35 +0000 (11:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Apr 2002 11:34:35 +0000 (11:34 +0000)
commit818c90057de4f3ca2e1971b267549fe146b89b6f
tree9a4823a812f65ec740b1d80e01293dcd36522834tree | snapshot
parente627ae3edfbe950b87069b625ec9317acaf03ec5commit | diff
* identifiers can now also have digits in them
* arrow notation for non-dependent Pi-abstraction introduced.
  It seems to be bugged w.r.t. application (a problem of priority?)
* CicTextualParserContext provides an highly not-reentrant implementation
  of parsing in a given environment
helm/ocaml/cic_textual_parser/.depend diff | blob | history
helm/ocaml/cic_textual_parser/Makefile diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualLexer.mll diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParser.mly diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParser0.ml diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParserContext.ml [new file with mode: 0644] blob
helm/ocaml/cic_textual_parser/cicTextualParserContext.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.