]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33036a1) | patch
Bug fix: the generated XML for DCs was not well-formed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:50:57 +0000 (12:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:50:57 +0000 (12:50 +0000)
commita3026b5d06a07baa98da0e9ac841975232a8a60b
tree0cd45d1007f1262f3283e05268e5f352ad5e52b0tree | snapshot
parent33036a1e6428d09d3ce35a820c983bf25107a136commit | diff
Bug fix: the generated XML for DCs was not well-formed.
helm/DEVEL/rdfly/rdfly.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.