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
623cb69c
Commit
623cb69c
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-10-02 22:10:06 by cvscast] Beppe: little formatting
Original author: cvscast Date: 2003-10-02 22:10:07+00:00
parent
edc7480e
Changes
3
Hide whitespace changes
Inline
Side-by-side
web/documentation.xml
View file @
623cb69c
...
...
@@ -6,6 +6,15 @@
<include
file=
"tutorial.xml"
/>
<include
file=
"manual.xml"
/>
<include
file=
"memento.xml"
/>
<left>
<p>
Here you can find the online documentation
(usually very up to date)
</p>
<pages-toc/>
<p>
See also:
</p>
<local-links
href=
"papers"
/>
</left>
<box
title=
"Online documentation"
link=
"src"
>
<p>
...
...
web/papers.xml
View file @
623cb69c
...
...
@@ -7,7 +7,7 @@
<p>
This page presents Papers and Talks about CDuce.
</p>
<boxes-toc/>
<p>
See also:
</p>
<local-links
href=
"index,proto"
/>
<local-links
href=
"index,proto
,documentation
"
/>
</left>
<box
title=
"Papers"
link=
"papers"
>
...
...
web/site.cd
View file @
623cb69c
...
...
@@ -44,8 +44,8 @@ type Content =
|
<sample
highlight=
?"true"|"false"
>
String
| Xtable
| Paper | Slides | Link
|
<boxes-toc>
[]
|
<pages-toc
sub
sections=
?""
>
[]
|
<boxes-toc
sections=
?""
>
[]
|
<pages-toc
sections=
?""
>
[]
|
<site-toc>
[]
|
<local-links
href=
String
>
[]
|
<two-columns>
[
<left>
Content
<right>
Content ]
...
...
@@ -290,11 +290,15 @@ match page with
!(match a with {|sections=_|} -> (boxes_of p) | _ -> [])] ]
|
<external
href=
l
title=
t
>
[] -> [
<li>
[
<a
href=
l
>
t ] ] in
(match toc with [] -> [] | lis -> [
<ul>
lis ])
|
<boxes-toc>
[] ->
|
<boxes-toc
(
a
)
>
[] ->
let toc =
transform items with
<box
title=
t
link=
l
>
_ -> [
<li>
[
<a
href=
('#',l)
>
t ] ] in
(match toc with [] -> [] | lis -> [
<ul>
lis ])
<box
title=
t
link=
l
>
b -> [
<li>
[
<a
href=
('#',l)
>
t
!(match a with
| {|sections=_|} ->
(transform b with
<section
title=
t
>
_ -> [
<br>
[] '-' !t])
| _ ->[])]]
in (match toc with [] -> [] | lis -> [
<ul>
lis ])
|
<site-toc>
[] ->
[
<ul>
[ (display_sitemap sitemap) ] ]
|
<local-links
href=
s
>
[] ->
...
...
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