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: 7d42543) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 2 Jun 2005 15:23:49 +0000 (15:23 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 2 Jun 2005 15:23:49 +0000 (15:23 +0000)
commit	dbcc29c0e46454c7e31b485135900ceab38627e1
tree	b48bb26ac85697b8ef620a223396506433cfcb5f	tree \| snapshot
parent	7d425434a70ed1eae2ef83ebff5adbbbeeaec099	commit \| diff

snapshot (first working implementation of parttern matching from level 2
to level 1)

13 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/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPp.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/cicNotationTag.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotationTag.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotationUtil.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.mli		diff \| blob \| history
helm/ocaml/cic_notation/test_parser.conf.xml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/test_parser.ml		diff \| blob \| history

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