Commit 71f95806 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-16 16:19:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 16:19:54+00:00
parent 55e45b29
......@@ -18,6 +18,8 @@ let fun text ( (Text,Int) -> (Flow,Notes) )
[<note no=count>n] @ notes)
| (body,_) -> (body, []);;
try
match load_xml "tests/notes.xml" with
| x & Doc -> format x
| _ -> raise "Invalid input document";;
| _ -> raise "Invalid input document"
with _-> "Bon ca va";;
......@@ -59,7 +59,7 @@ let fun script (code : String) : String =
"/cgi-bin/cduce2?example=" @ code;;
let fun do_example (<_ code=c>[<title>t <abstract>a; _] : Example) : Li =
<li>[ <a href = script c >[ !t '.' ] !a ];;
<li>[ <a href = script c >[ !t '.' ] ' ' !a ];;
......
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