]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b82fbbf) | patch
- bugfix in term grammar: lowered precedence level of "let ... in" so
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Feb 2004 14:22:49 +0000 (14:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Feb 2004 14:22:49 +0000 (14:22 +0000)
commitc0dd3e6a0100462e79d40e4dca2df7d9b89afe76
treeabdbaf4651a3711d8894076c104c54968888d97ctree | snapshot
parentb82fbbf4eebebe40f6e4557c191b177a696b0e2ccommit | diff
- bugfix in term grammar: lowered precedence level of "let ... in" so
  that "let x = 1 in x + 2" works as expected
- decent grammar for tactics and tacticals: now with precedence levels
  (no more stackoverflows, hopefully)
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.