]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71150d7) | patch
dependeciesParsed fixed to parse URIs also in QSTRINGs
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:45:08 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 13:45:08 +0000 (13:45 +0000)
commit27be353376ced722d0a8d25078a7361d12fffae3
tree09f87ef52298d50f21f8119a16e8ecb30f9d1348tree | snapshot
parent71150d7ae2d5979809a710114dcc0bbe87e6bf8ecommit | diff
dependeciesParsed fixed to parse URIs also in QSTRINGs
(because of alias id qstring = qstring)
helm/software/components/grafite_parser/dependenciesParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.