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
9bd49884
Commit
9bd49884
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-05-15 12:31:22 by cvscast] two-columns
Original author: cvscast Date: 2003-05-15 12:31:23+00:00
parent
fd2d099a
Changes
2
Hide whitespace changes
Inline
Side-by-side
web/site.cd
View file @
9bd49884
...
...
@@ -40,6 +40,7 @@ type Content =
|
<pages-toc>
[]
|
<site-toc>
[]
|
<local-links
href=
String
>
[]
|
<two-columns>
[
<left>
Content
<right>
Content ]
| InlineText
)* ];;
...
...
@@ -211,6 +212,11 @@ match page with
| [] -> []
| l -> let l = map l with x ->
<li>
[ (local_link(sitemap,x,"")) ]
in [
<ul>
l ])
|
<two-columns>
[
<left>
x
<right>
y ] ->
[
<table
width=
"100%"
>
[
<tr>
[
<td
valign=
"top"
>
(content x)
<td
valign=
"top"
>
(content y) ] ] ]
| t -> text [ t ]
in
...
...
web/tutorial1.xml
View file @
9bd49884
...
...
@@ -8,7 +8,6 @@
<boxes-toc/>
</left>
<box
title=
"XML documents"
link=
"t0"
>
<p>
CDuce uses its own notation to denote XML documents. In the next table we
...
...
@@ -16,7 +15,9 @@ present an XML document on the left and the same document in CDuce notation on
the right
</p>
<two-columns>
<left>
<sample>
<![CDATA[
<?xml version="1.0"?>
...
...
@@ -55,6 +56,10 @@ the right
</parentbook>
]]>
</sample>
</left>
<right>
<sample>
<![CDATA[
let parents : ParentBook =
<parentbook>
[
...
...
@@ -92,6 +97,9 @@ let parents : ParentBook =
]
]]>
</sample>
</right>
</two-columns>
</box>
<box
title=
"Type declarations"
link=
"t1"
>
...
...
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