<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffee" text="#000000">
Vesa Karvonen wrote:<br>
<blockquote cite="mid:1172577936.45e41e90c6cd8@www2.helsinki.fi"
type="cite">
<pre wrap="">I plan to write a simple utility that generates browsable documentation
from the documentation comments.
</pre>
</blockquote>
I'm actually somewhat surprised that such a thing doesn't exist
already. <br>
<br>
On a slightly related note, does anyone have (or know of) a SML
pretty-printer suitable for use with noweb?<br>
<br>
<blockquote cite="mid:1172577936.45e41e90c6cd8@www2.helsinki.fi"
type="cite">
<pre wrap="">Feel free to commit. And thanks for the contribution!
</pre>
</blockquote>
Done. I'll hopefully have another few changes ready soon.<br>
<br>
<br>
<pre class="moz-signature" cols="72">--
[Geoff Washburn|<a class="moz-txt-link-abbreviated" href="mailto:geoffw@cis.upenn.edu">geoffw@cis.upenn.edu</a>|<a class="moz-txt-link-freetext" href="http://www.cis.upenn.edu/~geoffw/">http://www.cis.upenn.edu/~geoffw/</a>]
</pre>
</body>
</html>