]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea7808d) | patch
* added backtracking in matching code (hairy code!)
authorLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 13:54:09 +0000 (13:54 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 13:54:09 +0000 (13:54 +0000)
commitfa143d13b855aa48a11f3230a139f39ce2df0984
treeeadfc5b2d1f3cd2aba35b6d5224933e05ce3c8c7tree | snapshot
parentea7808d83a7d6e03c0e163f0691e268dcd7c2ea4commit | diff
* added backtracking in matching code (hairy code!)
helm/ocaml/cic_notation/TODO diff | blob | history
helm/ocaml/cic_notation/cicNotationMatcher.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationMatcher.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.