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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 25 Jul 2005 10:14:34 +0000 (10:14 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 25 Jul 2005 10:14:34 +0000 (10:14 +0000)
commit	08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1
tree	5a624cb68975086f0c1b5a8d60fb6de7829d5f41	tree \| snapshot
parent	7a2a40e0cc7d9ad114c5e2b60427062b34bb9d56	commit \| diff

implemented transformations on top of notation code

56 files changed:

helm/ocaml/METAS/meta.helm-cic_transformations.src		diff \| blob \| history
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/cic_notation/.depend		diff \| blob \| history
helm/ocaml/cic_notation/Makefile		diff \| blob \| history
helm/ocaml/cic_notation/TODO		diff \| blob \| history
helm/ocaml/cic_notation/box.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/box.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotation.ml		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/cicNotationMatcher.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/cicNotationPres.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationTag.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/grafiteAst.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAstPp.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/mpresentation.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/mpresentation.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/renderingAttrs.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/renderingAttrs.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
helm/ocaml/cic_omdoc/Makefile		diff \| blob \| history
helm/ocaml/cic_transformations/.depend		diff \| blob \| history
helm/ocaml/cic_transformations/Makefile		diff \| blob \| history
helm/ocaml/cic_transformations/acic2Ast.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/acic2Ast.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/applyTransformation.ml		diff \| blob \| history
helm/ocaml/cic_transformations/ast2pres.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/ast2pres.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/box.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/box.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/boxPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/boxPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAst.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAst.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAstPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAstPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/content2pres.ml		diff \| blob \| history
helm/ocaml/cic_transformations/content2pres.mli		diff \| blob \| history
helm/ocaml/cic_transformations/contentTable.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/contentTable.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/mpresentation.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/mpresentation.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/sequent2pres.ml		diff \| blob \| history
helm/ocaml/cic_transformations/sequent2pres.mli		diff \| blob \| history
helm/ocaml/cic_transformations/tacticAst.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAstPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAstPp.mli	[deleted file]	blob \| history

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

RSS Atom