]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/cicTextualParser2.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec9a40e) | patch
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
treecaa80e4d62aab122c20ca459162e50fcd21e6619tree | snapshot
parentec9a40eb3f7c777f20ae179d083265f22cd5e858commit | diff
Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antipolis/...)
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.