]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72220a2) | patch
snapshort
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 15:18:20 +0000 (15:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 15:18:20 +0000 (15:18 +0000)
commitf7759f86b755f4f7dc2b23edd52ed4d2e5c028fe
treecf46c2994b59dde68cc56a9ff6945c05024fc4a8tree | snapshot
parent72220a2e5a51f0dd1123ff2b06df13a6f5f0d61acommit | diff
snapshort
- implemented magic instantiation 2 => 1
- implemented DEFAULT pattern matching compilation 2 => 1
helm/ocaml/cic_notation/TODO 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/cicNotationFwd.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationMatcher.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/cicNotationUtil.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationUtil.mli diff | blob | history
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.