matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7aa0e79) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 13 Jul 2005 09:44:01 +0000 (09:44 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 13 Jul 2005 09:44:01 +0000 (09:44 +0000)
commit	ba2dfe6409e95bf9e558dc0d4be382b068671409
tree	5b5a654e22d4a49939d4aaad1182bd4335f41f45	tree \| snapshot
parent	7aa0e7901b71a660c6d6f55d96a38a3a9d1d3c7d	commit \| diff

snapshot
- added keyword handling for notation specifying string literals
- added keywords to level2_ast_lexer

13 files changed:

helm/ocaml/cic_notation/cicNotationLexer.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationLexer.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPp.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPres.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPres.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPt.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.mli		diff \| blob \| history
helm/ocaml/cic_notation/doc/samples.ma		diff \| blob \| history
helm/ocaml/cic_notation/test_parser.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.