From 382ff344694479f33309d76137702fdb802fce46 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 19 Oct 2008 14:13:08 -0400 Subject: Generating urp HTML --- src/demo.sml | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++---- 1 file changed, 53 insertions(+), 4 deletions(-) (limited to 'src/demo.sml') diff --git a/src/demo.sml b/src/demo.sml index 02e9c13b..782e3d7f 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -47,7 +47,7 @@ fun make {prefix, dirname} = file = "index.html"} val out = TextIO.openOut fname - val () = (TextIO.output (out, "\n"); + val () = (TextIO.output (out, "\n"); TextIO.output (out, "\n"); TextIO.output (out, "\n"); TextIO.output (out, "\n"); @@ -57,7 +57,7 @@ fun make {prefix, dirname} = file = "demos.html"} val demosOut = TextIO.openOut fname - val () = (TextIO.output (demosOut, "\n"); - TextIO.closeOut demosOut + TextIO.output (demosOut, "\n\n"); + TextIO.closeOut demosOut; + + prettyPrint () end end -- cgit v1.2.3