X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tiki_of_html.cd;h=0972719fdc8a8d90a964f280bb09ee7a12a719dc;hb=HEAD;hp=ff79a69d1c63cfdc02661eaac08442c80effe809;hpb=c77951ba16a25e0c1ffa12b3eb92e687a83529a6;p=hacks%2Ftiki_of_html.git

diff --git a/tiki_of_html.cd b/tiki_of_html.cd
index ff79a69..0972719 100644
--- a/tiki_of_html.cd
+++ b/tiki_of_html.cd
@@ -1,9 +1,9 @@
-/*
-
+(*
+  
   cduce --compile tiki_of_html.cd
   cduce --run tiki_of_html.cdo --arg http://digicosme.lri.fr/innovation.html
 
-*/
+*)
 type html_element = <_ ..>html_content
 type html_content = [ (Byte | html_element)* ]
 type space = ' ' | '\t' | '\n'
@@ -76,9 +76,6 @@ let tiki_of_html (level : Int) (h : html_content) : Latin1 =
   (* Un charactère, on le copie dans la sortie *)
   | Byte & c -> [ c ]
 
-;;
-
-
 (* main *)
 let [] =
   match argv [] with