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
58c3bea4
Commit
58c3bea4
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-07-29 10:11:37 by afrisch] Bug fix in pretty printer
Original author: afrisch Date: 2005-07-29 10:11:37+00:00
parent
fa1aa987
Changes
3
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
58c3bea4
Since 0.3.91
- Tools:
* Build and install dtd2cduce when PXP is available.
- Language:
* Better error messages for xtransform.
0.3.91
- Tools:
...
...
driver/librarian.ml
View file @
58c3bea4
...
...
@@ -176,7 +176,8 @@ and load name =
let
c
=
real_load
src
in
register
c
;
(* Register types *)
if
!
reg_types
then
Typer
.
register_types
(
U
.
to_string
c
.
name
)
c
.
typing
;
if
!
reg_types
then
Typer
.
register_types
(
U
.
to_string
c
.
name
^
"."
)
c
.
typing
;
(* Load dependencies *)
List
.
iter
(
fun
(
name
,
dig
)
->
check_digest
(
load
name
)
dig
)
c
.
depends
;
Tbl
.
add
tbl
name
c
;
...
...
web/appli.xml
View file @
58c3bea4
...
...
@@ -48,7 +48,7 @@ Exploration</a>.</li>
<ul>
<li><a
href=
"http://www.demexp.org"
>
The Demexp project
</a>
.
</li>
<li><a
href=
"http://
caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf7d4d6432d6154.en.html
"
>
OC-soap
</a>
.
</li>
href=
"http://
merjis.com/developers/oc-soap/
"
>
OC-soap
</a>
.
</li>
</ul>
</section>
...
...
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