matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 15 Nov 2002 13:17:22 +0000 (13:17 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 15 Nov 2002 13:17:22 +0000 (13:17 +0000)
commit	f5b64337026ab6c98b33583ea85d0ab5d1410966
tree	6da65b0407dd5ad73125bac78eeefe929efa8ce3	tree \| snapshot
parent	f0843578d190c26c6975502a33dd01ca1c4aa8eb	commit \| diff

backported new pxp module from branch V7_3_new_exportation
Close an incredible bug (Neturl.Malformed_URL) in fully ocaml proof checker.

helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser.ml		diff \| blob \| history
helm/ocaml/pxp/.depend		diff \| blob \| history
helm/ocaml/pxp/Makefile		diff \| blob \| history
helm/ocaml/pxp/csc_pxp_reader.ml	[deleted file]	blob \| history
helm/ocaml/pxp/csc_pxp_reader.mli	[deleted file]	blob \| history
helm/ocaml/pxp/pxpUriResolver.ml	[deleted file]	blob \| history
helm/ocaml/pxp/pxpUriResolver.mli	[deleted file]	blob \| history
helm/ocaml/pxp/pxpUrlResolver.ml	[new file with mode: 0644]	blob
helm/ocaml/pxp/pxpUrlResolver.mli	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.