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

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

author	Luca Padovani <luca.padovani@unito.it>
	Tue, 12 Jul 2005 15:07:10 +0000 (15:07 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Tue, 12 Jul 2005 15:07:10 +0000 (15:07 +0000)
commit	c27b932e5adcf89dc9de0e28f65e3370fe3e6b05
tree	60807132b3489bac1981d1cec0a1586f8fb953d2	tree \| snapshot
parent	fc414b7e91d15ce6cccd9a4e8b558c2ab71b4b60	commit \| diff

snapshot
- revised concrete syntax
- split parsers and lexers
- removed IF and THEN magics in favour of IF/THEN/ELSE and FAIL

17 files changed:

helm/ocaml/cic_notation/.depend		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationFwd.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationLexer.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationLexer.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.expanded.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.mli		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/cicNotationPt.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		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_lexer.ml		diff \| blob \| history
helm/ocaml/cic_notation/test_parser.ml		diff \| blob \| history

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