]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8c6dd0) | patch
- bugfix: when backtracking restore the appropriate matched terms instead of keeping...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Sep 2005 12:39:28 +0000 (12:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Sep 2005 12:39:28 +0000 (12:39 +0000)
commitdf3c83c772b9aede0503d57757899b34a7847e6f
treea6136229e950e75c0a793c225149b51050a87c0etree | snapshot
parentb8c6dd0220fba9ebed2d51d5808790b5949177eacommit | diff
- bugfix: when backtracking restore the appropriate matched terms instead of keeping the current ones
- changed column order while matching constructors, this should speed up the matching since often application head discriminate if a row can be applied or not
helm/ocaml/cic_notation/cicNotationMatcher.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationTag.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.