[r2004-09-29 08:33:35 by beppe] Erased "new"

Original author: beppe
Date: 2004-09-29 08:33:35+00:00

web/documentation.xml

 <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
-<page name="documentation" new="">
+<page name="documentation">
 
 <title>Documentation</title>
 
@@ -22,7 +22,7 @@ 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 give a gentle introduction to programming in CDuce; and a
-<a href="memento.html">Quick reference card</a> where we group and briefly explain in a single pag  CDuce syntax.
+<a href="memento.html">Quick reference card</a> where we group and briefly explain in a single page  CDuce syntax.
 </p>
 <p>
 For more technical and theoretical information you can consult the technical paper available <a href="papers.html">here</a>.

web/funding.xml

 <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
-<page name="funding">
+<page name="funding" new="">
 
 <title>Funding</title>