]> matita.cs.unibo.it Git - helm.git/commit
we no longer use pxp
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 12:56:49 +0000 (12:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 12:56:49 +0000 (12:56 +0000)
commitdf297b3b5937180caf9c1be52b18c1d29d7112de
treeee201425c8a7a04b64a2d347d8995f632fcc1816
parentd513d6872096bfe51f8fa3ced917131e954130e1
we no longer use pxp
helm/ocaml/pxp/.cvsignore [deleted file]
helm/ocaml/pxp/.depend [deleted file]
helm/ocaml/pxp/Makefile [deleted file]
helm/ocaml/pxp/pxpHelmConf.ml [deleted file]
helm/ocaml/pxp/pxpHelmConf.mli [deleted file]
helm/ocaml/pxp/pxpUrlResolver.ml [deleted file]
helm/ocaml/pxp/pxpUrlResolver.mli [deleted file]