Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
055406dc
Commit
055406dc
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-11-30 20:03:51 by beppe] Empty log message
Original author: beppe Date: 2003-11-30 20:03:51+00:00
parent
8297f911
Changes
3
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
055406dc
Beppe 2003-11-30
Add url support for non selfcontained documents and expat
======================================================================
Beppe 2003-11-15
...
...
misc/url.mli
View file @
055406dc
type
url
=
Filename
of
string
|
Url
of
string
(* It recognizes if it is a valid url. If it is connect and bufferize
* in a string otherwise consider it as filename
*)
val
process_url
:
string
->
url
runtime/load_xml.ml
View file @
055406dc
...
...
@@ -167,10 +167,6 @@ let load_pxp s =
raise
(
Location
.
Generic
(
Pxp_types
.
string_of_exn
exn
))
(* Recognize if it is a valid url. If it is connect and bufferize
in a string otherwise consider it as filename *)
let
load_xml
s
=
Location
.
protect_op
"load_xml"
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment