[r2003-09-25 20:25:22 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-25 20:25:23+00:00

web/documentation.xml

+<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
+<page name="Documentation" new="">
+
+<title>Documentation</title>
+
+<include file="tutorial.xml"/>
+<include file="manual.xml"/>
+<include file="memento.xml"/>
+
+<box title="Online documentation" link="src">
+<p>
+We mantain three kinds of on-line documentation: a <a
+href="manual.html">User's guide</a> where all CDuce constructions are
+grouped by categories and explained; a <a href="tutorial.html">Tutorial</a>
+where we try to give a gentle introduction to programming in CDuce; and a
+<a href="memento.html">Quick reference</a> a short reference card
+where each CDuce construction is briefly outlined.
+</p>
+<p>
+For more technical and theoretical information you can consult the technical paper available <a href="papers.html">here</a>.
+</p>
+</box>
+
+
+
+
+
+
+</page>

web/index.xml

@@ -18,7 +18,7 @@
 <include file="download.xml"/>
 <include file="bench.xml"/>
 <include file="papers.xml"/>
-<include file="manual.xml"/>
+<include file="documentation.xml"/>
 <include file="examples.xml"/>
 <include file="hacking.xml"/>
 <include file="mailing.xml"/>

web/manual.xml

@@ -4,17 +4,15 @@
 <title>User's manual</title>
 
 
-<include file="tutorial.xml"/>
 <include file="manual/interpreter.xml"/>
 <include file="manual/types_patterns.xml"/>
 <include file="manual/expressions.xml"/>
 <include file="manual/namespaces.xml"/>
-<include file="memento.xml"/>
 
 <box title="Table of Contents" link="toc">
 <p><b>This manual is under construction !</b></p>
 <p>Sections:</p>
-<pages-toc/>
+<pages-toc sections=""/>
 </box>
 
 </page>

web/site.cd

@@ -45,7 +45,7 @@ type Content =
      | Xtable
      | Paper | Slides | Link
      | <boxes-toc>[]
-     | <pages-toc>[]
+     | <pages-toc subsections=?"">[]
      | <site-toc>[]
      | <local-links href=String>[]
      | <two-columns>[ <left>Content <right>Content ]
@@ -132,6 +132,14 @@ let display_sitemap (h : Tree) :  Xli =
   let ch = match ch with [] -> [] | l -> [ <ul>l ] in
   <li>[ <a href=(h . url)>(h . title); ch ]
 
+
+let boxes_of  (Page -> [Xul?])
+     <page>[ (items::Item | _)*] ->
+        let toc = 
+         transform items with 
+          <box title=t link=l>_ -> [ <li>[ <a href=('#',l)>t ] ] in
+        (match toc with [] -> [] | lis -> [ <ul>lis ])
+ 
 let link_to (Page -> Xa)
  <page name=n new=_>[<title>t ; _ ] -> 
                <a href=(url_of_name n)>[!t 
@@ -246,10 +254,11 @@ match page with
    | Xtable & x -> 
         [ x ]
    | <p (attr)>x -> [ <p (attr)>(text x) ]
-   | <pages-toc>[] ->
-        let toc = 
+   | <pages-toc (a)>[] ->
+       let toc = 
          transform items with 
-         | Page & p ->  [ <li>[ (link_to p) ] ]
+         | Page & p ->  [ <li>[ (link_to p) 
+                           !(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>[] ->

web/tutorial.xml

@@ -13,7 +13,7 @@
 <p>
 This page is a step-by-step introduction to CDuce.
 </p>
-<pages-toc/>
+<pages-toc sections=""/>
 </left>
 
 <box title="Tutorial Index" link="tut">