[MLton] wiki -> documentation
   
    Matthew Fluet
     
    fluet@cs.cornell.edu
       
    Tue, 6 Sep 2005 07:46:04 -0400 (EDT)
    
    
  
> I added a script (bin/grab-wiki), based on one Vesa sent a while back,
> that downloads the wiki into a self-contained set of documentation
> intended to be shipped with MLton packages.  I put the output of a
> recent run in the svn in doc/guide.  Please check it out and make
> suggestions for improvement.
Would it be worth adding the 'class = "external"' attribute to wiki-links 
that point back to mlton.org?  I'm thinking of Download.  There are also 
all of the "ViewSVN" links.