Mercurial > urweb
changeset 383:49c95753bf3b
Small demo prettifications
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 19 Oct 2008 14:53:38 -0400 (2008-10-19) |
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>");