]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antipolis/...)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 15:05:10 +0000 (15:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 15:05:10 +0000 (15:05 +0000)
commit2e82e55532af778653ad53b563e4dc97cda20798
treecaa80e4d62aab122c20ca459162e50fcd21e6619
parentec9a40eb3f7c777f20ae179d083265f22cd5e858
Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antipolis/...)
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.ml