<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta name="robots" content="index,nofollow">
<title>WebSite - MLton Standard ML Compiler (SML Compiler)</title>
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
<link rel="Start" href="Home">
</head>
<body lang="en" dir="ltr">
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-833377-1";
urchinTracker();
</script>
<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
<tr>
<td style = "
border: 0px;
color: darkblue;
font-size: 150%;
text-align: left;">
<a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
<td style = "
border: 0px;
font-size: 150%;
text-align: center;
width: 50%;">
WebSite
<td style = "
border: 0px;
text-align: right;">
<table cellspacing = 0 style = "border: 0px">
<tr style = "vertical-align: middle;">
</table>
<tr style = "background-color: white;">
<td colspan = 3
style = "
border: 0px;
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
<a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
This web site is a Wiki and is implemented using <a href="MoinMoin">MoinMoin</a>. If you're new to Wikis or to <a href="MoinMoin">MoinMoin</a>, they have a lot of <a class="external" href="http://moinmoin.wikiwikiweb.de/HelpContents"><img src="moin-www.png" alt="[WWW]" height="11" width="11">help</a> pages. We have customized the look and feel, so some of their descriptions may not apply. <h2 id="head-3f170caead65df254d786032a409a6f6d204bca6">Next Steps</h2>
<ul>
<li>
<p>
<a href="AccessControl">AccessControl</a>. Who can edit what.
</p>
</li>
<li class="gap">
<p>
<a href="CreatingPages">CreatingPages</a>.
</p>
</li>
<li class="gap">
<p>
<a href="EditingPages">EditingPages</a>.
</p>
</li>
<li class="gap">
<p>
<a href="SystemInfo">SystemInfo</a>. What version of <a href="MoinMoin">MoinMoin</a> we use, plus more.
</p>
</li>
<li class="gap">
<p>
<a href="WikiMacros">WikiMacros</a>. Special macros for this site.
</p>
</li>
<li class="gap">
<p>
<a href="WikiTool">WikiTool</a>. Edit pages with your favorite text editor.
</p>
</li>
</ul>
<h2 id="head-377ca2d4e81ad5d1416aa86e62b20ee91d4c6759">Site Maintenance</h2>
<ul>
<li>
<p>
<a href="OrphanedPages">OrphanedPages</a>. Pages that no other page links to. Please help by linking to these.
</p>
</li>
<li class="gap">
<p>
<a href="WantedPages">WantedPages</a>. Pages that don't exist and the pages that link to them. Please help fill these in.
</p>
</li>
<li class="gap">
<p>
<a href="http://mlton.org/OldPages"><img src="moin-www.png" alt="[WWW]" height="11" width="11">OldPages</a>. Pages with the oldest modification times.
</p>
</li>
<li class="gap">
<p>
<a href="PageSize">PageSize</a>. Pages sorted in decreasing order of size.
</p>
</li>
<li class="gap">
<p>
<a href="http://mlton.org/RecentChanges"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RecentChanges</a>. Pages that have been changed recently.
</p>
</li>
</ul>
<h2 id="head-cf03cf2e9cdf95a20af09137dfb9071db0c31bf2">Navigation</h2>
<p>
The box in the upper-right corner is to Google search the entire web site. Also in the upper right is a link to a <a href="TitleIndex">TitleIndex</a> of all pages.
</p>
<p>
You can also do a search of just the wiki.
</p>
<p>
Wiki full-text search <form method="GET"><input type="hidden" name="action" value="fullsearch"><input name="value" size="30" value=""> <input type="submit" value="Go"><br><input type="checkbox" name="context" value="40" checked="checked">Display context of search results<br><input type="checkbox" name="case" value="1">Case-sensitive searching</form>
</p>
<p>
Wiki title search <form method="GET"><input type="hidden" name="action" value="titlesearch"><input name="value" size="30" value=""> <input type="submit" value="Go"></form>
</p>
</div>
<p>
<hr>
Last edited on 2007-11-08 03:31:18 by <span title="c-71-57-91-146.hsd1.il.comcast.net"><a href="MatthewFluet">MatthewFluet</a></span>.
</body></html>
