[r2005-07-06 12:59:40 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-06 12:59:40+00:00

types/sortedList.ml

@@ -516,7 +516,7 @@ struct
   let cofinite l =
     let l = 
       T.filter 
-	(fun _ x -> match x with SymbolSet.Cofinite [] -> false | _ -> true)
+	(fun _ x -> match x with SymbolSet.Finite [] -> false | _ -> true)
 	l in
     Cofinite l
       

web/demo.xml

@@ -9,7 +9,8 @@
 
 <p>
 This page is the support for the CDuce demo at the PLANX 2005 workshop
-(Longbeach).
+(Longbeach). It has been designed to work with modern Gecko-based
+browser (with Javascript enabled).
 </p>
 
 <section title="Hightlights of CDuce">