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
efbcff14
Commit
efbcff14
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-07-11 19:55:57 by cvscast] Beppe: small modifications
Original author: cvscast Date: 2003-07-11 19:55:58+00:00
parent
c71b7f46
Changes
2
Show whitespace changes
Inline
Side-by-side
web/index.xml
View file @
efbcff14
...
...
@@ -142,7 +142,8 @@ program can run faster (30% to 60%) than an equivalent XSLT
style-sheet (we performed benchmarks with
the xsltproc tools from the Gnome libxslt library).
</p>
<p
style=
"font-size:8px"
><a
name=
"ftn1"
><sup>
1
</sup></a>
Valid with respect to validity constraints
<p
style=
"font-size:80%"
><a
name=
"ftn1"
><sup>
1
</sup></a>
Valid with respect to validity constraints
that can be expressed by the type system (thus typically excluding
constraints like
<a
href=
"http://www.w3.org/TR/REC-xml#sec-attribute-types"
>
ID
</a>
and
<a
href=
"http://www.w3.org/TR/REC-xml#sec-attribute-types"
>
IDREF
</a>
).
...
...
web/site.cd
View file @
efbcff14
...
...
@@ -132,7 +132,9 @@ let display_sitemap (h : Tree) : Xli =
<li>
[
<a
href=
(h
.
url
)
>
(h . title); ch ]
let link_to (Page -> Xa)
<page
name=
n
new=
_
>
[
<title>
t ; _ ] ->
<a
href=
(url_of_name
n
)
>
[!t
<img
src=
"img/new.gif"
alt=
"(new)"
style=
"border:0"
>
[]]
<page
name=
n
new=
_
>
[
<title>
t ; _ ] ->
<a
href=
(url_of_name
n
)
>
[!t
<img
src=
"img/new.gif"
alt=
"(new)"
style=
"border:0"
>
[]]
|
<page
name=
n
>
[
<title>
t ; _ ] ->
<a
href=
(url_of_name
n
)
>
t
let box (x : Flow) : Block =
...
...
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