Commit 4292cf69 authored by Pietro Abate's avatar Pietro Abate

[r2005-03-11 12:29:13 by afrisch] Bug introduced with syntax modif for records

Original author: afrisch
Date: 2005-03-11 12:29:13+00:00
parent 64d39068
......@@ -453,4 +453,4 @@ Mutable values.
</li><li><a href=\"/cgi-bin/cduce?example=pm_compil\">Compilation of pattern matching.</a>
This example demonstrates the efficient compilation of pattern
matching.
</li></ul>"
</li></ul>"
\ No newline at end of file
......@@ -183,7 +183,7 @@ let display_sitemap (h : Tree) : H.li =
let boxes_of (Page -> [H.ul?])
<page ..>[ (items::Item | _)*] & p ->
let toc = transform items with
| <box title=t link=l>_ -> [ <li>[ <a href=[ !(url_of_page p) '#' !l ]>t ] ]
| <box title=t link=l ..>_ -> [ <li>[ <a href=[ !(url_of_page p) '#' !l ]>t ] ]
in
ul toc
......@@ -321,7 +321,6 @@ match page with
<page name=name leftbar="false"&(leftbar:=`false) else (leftbar:=`true) ..>[
(<title>title <banner>banner | <title>(title & banner))
items::_* ] ->
let items = items @ footer in
let footnote_counter = ref Int 0 in
......@@ -492,7 +491,7 @@ match page with
(* Preparing main panel *)
let main = transform items with
| <box title=t link=l>c -> [ (box_title (content c, l, t)) ]
| <box title=t link=l ..>c -> [ (box_title (content c, l, t)) ]
| <box>c -> [ (box (content c)) ]
| <footnotes>[] ->
(match !footnotes with
......
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