Commit e7bc3ad5 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-07 14:43:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-07 14:43:01+00:00
parent dd4b850a
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="download">
<page name="download" new="">
<title>Download</title>
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="mailing">
<page name="mailing" new="">
<title>Mailing Lists</title>
......
......@@ -16,7 +16,7 @@ include "xhtml-categ.cd" (* Categories (Inline, ...) from this DTD *)
(** Input types **)
type Page = <page name=String>[ <title>String <banner>[InlineText*]? Item* ]
type Page = <page name=String new=?Any>[ <title>String <banner>[InlineText*]? Item* ]
type External = <external {|href=String; title=String; name=String |}>[]
type Item =
......@@ -132,7 +132,8 @@ let display_sitemap (h : Tree) : Xli =
<li>[ <a href=(h . url)>(h . title); ch ]
let link_to (Page -> Xa)
<page name=n>[<title>t ; _ ] -> <a href=(url_of_name n)>t
<page name=n new=_>[<title>t ; _ ] -> <a href=(url_of_name n)>[!t <img src="img/new.gif" alt="(new)" style="border:0">[]]
| <page name=n>[<title>t ; _ ] -> <a href=(url_of_name n)>t
let box (x : Flow) : Block =
<table cellpadding="2"
......
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