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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 4 Jun 2005 14:34:18 +0000 (14:34 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 4 Jun 2005 14:34:18 +0000 (14:34 +0000)
commit	50377dde5b5b1a8e5c7b2fb48b47defde9508b50
tree	8760648ea401f9cd8b62ac5ceef03e628e95f2a8	tree \| snapshot
parent	1b21075e987872a2e3103203b4e67c939e4a9f6a	commit \| diff

snapshot
- regression, but better (and working!) implementation of ML pattern matching
- not yet ported 3 -> 2 pattern matching

... the dunwich horror ...

13 files changed:

helm/ocaml/cic_notation/.depend		diff \| blob \| history
helm/ocaml/cic_notation/Makefile		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationEnv.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationEnv.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotationMatcher.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotationParser.expanded.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.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/test_parser.ml		diff \| blob \| history

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

RSS Atom