]> matita.cs.unibo.it Git - helm.git/commit
moved up xml, now needed by CicParser
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:58:28 +0000 (10:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:58:28 +0000 (10:58 +0000)
commitf693e2de79c1a95422a5efd22acbcea5003eeaba
treebe566027c7546e44aff5929d90c4f9478fe252e3
parent005aba457de4e6d77f664b17fb0f4846a16e2361
moved up xml, now needed by CicParser
helm/ocaml/Makefile.in