# HG changeset patch # User Adam Chlipala # Date 1224439988 14400 # Node ID 1fe85b58c9ba8fd6864e61a282b95d2a332d9227 # Parent 758304561b60b11eea4152b4a6659f06abb2593b Generating urp HTML diff -r 758304561b60 -r 1fe85b58c9ba src/demo.sml --- a/src/demo.sml Sun Oct 19 14:05:00 2008 -0400 +++ b/src/demo.sml Sun Oct 19 14:13:08 2008 -0400 @@ -47,7 +47,7 @@ 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 @@ 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