]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Jul 2005 16:03:44 +0000 (16:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Jul 2005 16:03:44 +0000 (16:03 +0000)
commit5d5e328a05ed70fcf565aef8f92b7ec87b2740f2
treefa38e4e52bb0dd9b9df57405e3527b0cc7c0edcb
parentbd2cbc7cbf6b0e06a1f588d1a426c83e40d9449b
snapshot
- added hyperlink handling on all notation literals
helm/ocaml/cic_notation/cicNotationMatcher.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationUtil.ml
helm/ocaml/cic_notation/cicNotationUtil.mli
helm/ocaml/cic_notation/doc/samples.ma
helm/ocaml/cic_notation/test_parser.ml