]> matita.cs.unibo.it Git - helm.git/commit
added syntax for URIs
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:08:24 +0000 (16:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 16:08:24 +0000 (16:08 +0000)
commit66a331a32509281f0c28ced014640e98a49cc0e0
tree5c729386cef469ad80ab77b02c513feb1ed0534d
parent9701a8bee17d66e49a5cff28dc62963c54fadc6b
added syntax for URIs
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_transformations/ast2pres.ml
helm/ocaml/cic_transformations/cicAstPp.ml