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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 14 Jul 2005 16:38:04 +0000 (16:38 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 14 Jul 2005 16:38:04 +0000 (16:38 +0000)
commit	34113d572c334c351ba66f4b05db503eed4d48f2
tree	fdb835475a67b3346d87e6889a6fcf6ee23470a9	tree \| snapshot
parent	7df7f06d2bc2a3fe1fe95aab957cef480d27eb86	commit \| diff

snapshot, notably:
- started merge with cic_transformations, ATM all available matita
scripts are parseable with test_parser fed with doc/core_notation.ma

20 files changed:

helm/ocaml/cic_notation/.depend		diff \| blob \| history
helm/ocaml/cic_notation/Makefile		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationLexer.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.mli		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/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/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/core_notation.ma	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/doc/samples.ma		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAst.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/grafiteParser.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/grafiteParser.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/test_parser.conf.xml		diff \| blob \| history
helm/ocaml/cic_notation/test_parser.ml		diff \| blob \| history

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

RSS Atom