]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15b9864) | patch
(hopefully) final decision on precedence levels:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:04:32 +0000 (12:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:04:32 +0000 (12:04 +0000)
commit5b3048fb48d58e2bd6f726254a06d95a48b2656f
treee65baf0148cd2e4e0c20162086ffb5de41e8f7a3tree | snapshot
parent15b9864a7b1397ab76f69a2f9c7458f3362fa3dbcommit | diff
(hopefully) final decision on precedence levels:
  binder > apply > infix operators
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/doc/precedence.txt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.