changeset 383:49c95753bf3b

Small demo prettifications
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 14:53:38 -0400
parents aa2edbd47041
children 2a7e7bd7b29f
files src/demo.sml
diffstat 1 files changed, 2 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/src/demo.sml	Sun Oct 19 14:51:12 2008 -0400
+++ b/src/demo.sml	Sun Oct 19 14:53:38 2008 -0400
@@ -112,7 +112,7 @@
                                                file = out}
                 val out = TextIO.openOut out
 
-                val () = (TextIO.output (out, "<frameset rows=\"75%,25%\">\n");
+                val () = (TextIO.output (out, "<frameset rows=\"50%,*\">\n");
                           TextIO.output (out, "<frame src=\"");
                           TextIO.output (out, prefix);
                           TextIO.output (out, "/");
@@ -287,11 +287,7 @@
                                                    | SOME line => (TextIO.output (out, line);
                                                                    loop ())
                                          in
-                                             TextIO.output (out, "<html><head>\n<title>");
-                                             TextIO.output (out, file);
-                                             TextIO.output (out, "</title>\n</head><body>\n<h1>");
-                                             TextIO.output (out, file);
-                                             TextIO.output (out, "</h1>\n\n<pre>");
+                                             TextIO.output (out, "<html><body>\n\n<pre>");
                                              loop ();
                                              TextIO.output (out, "</pre>\n\n</body></html>");