Commit 5de8e26d authored by Pietro Abate's avatar 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 955dfc89
...@@ -6,6 +6,15 @@ ...@@ -6,6 +6,15 @@
<include file="tutorial.xml"/> <include file="tutorial.xml"/>
<include file="manual.xml"/> <include file="manual.xml"/>
<include file="memento.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"> <box title="Online documentation" link="src">
<p> <p>
......
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
<p>This page presents Papers and Talks about CDuce.</p> <p>This page presents Papers and Talks about CDuce.</p>
<boxes-toc/> <boxes-toc/>
<p>See also:</p> <p>See also:</p>
<local-links href="index,proto"/> <local-links href="index,proto,documentation"/>
</left> </left>
<box title="Papers" link="papers"> <box title="Papers" link="papers">
......
...@@ -44,8 +44,8 @@ type Content = ...@@ -44,8 +44,8 @@ type Content =
| <sample highlight=?"true"|"false">String | <sample highlight=?"true"|"false">String
| Xtable | Xtable
| Paper | Slides | Link | Paper | Slides | Link
| <boxes-toc>[] | <boxes-toc sections=?"">[]
| <pages-toc subsections=?"">[] | <pages-toc sections=?"">[]
| <site-toc>[] | <site-toc>[]
| <local-links href=String>[] | <local-links href=String>[]
| <two-columns>[ <left>Content <right>Content ] | <two-columns>[ <left>Content <right>Content ]
...@@ -290,11 +290,15 @@ match page with ...@@ -290,11 +290,15 @@ match page with
!(match a with {|sections=_|} -> (boxes_of p) | _ -> [])] ] !(match a with {|sections=_|} -> (boxes_of p) | _ -> [])] ]
| <external href=l title=t>[] -> [ <li>[ <a href=l>t ] ] in | <external href=l title=t>[] -> [ <li>[ <a href=l>t ] ] in
(match toc with [] -> [] | lis -> [ <ul>lis ]) (match toc with [] -> [] | lis -> [ <ul>lis ])
| <boxes-toc>[] -> | <boxes-toc (a)>[] ->
let toc = let toc =
transform items with transform items with
<box title=t link=l>_ -> [ <li>[ <a href=('#',l)>t ] ] in <box title=t link=l>b -> [ <li>[ <a href=('#',l)>t
(match toc with [] -> [] | lis -> [ <ul>lis ]) !(match a with
| {|sections=_|} ->
(transform b with <section title=t>_ -> [<br>[] '-' !t])
| _ ->[])]]
in (match toc with [] -> [] | lis -> [ <ul>lis ])
| <site-toc>[] -> | <site-toc>[] ->
[ <ul>[ (display_sitemap sitemap) ] ] [ <ul>[ (display_sitemap sitemap) ] ]
| <local-links href=s>[] -> | <local-links href=s>[] ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment