[MLton-commit] r4238

Stephen Weeks MLton@mlton.org
Tue, 15 Nov 2005 19:48:53 -0800


Switched ViewSVN references from trunk to release tag.

----------------------------------------------------------------------

U   mlton/trunk/doc/guide/AST
U   mlton/trunk/doc/guide/AllocateRegisters
U   mlton/trunk/doc/guide/CKitLibrary
U   mlton/trunk/doc/guide/CallingFromCToSML
U   mlton/trunk/doc/guide/CallingFromSMLToC
U   mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
U   mlton/trunk/doc/guide/Chunkify
U   mlton/trunk/doc/guide/ClosureConvert
U   mlton/trunk/doc/guide/CommonArg
U   mlton/trunk/doc/guide/CommonBlock
U   mlton/trunk/doc/guide/CommonSubexp
U   mlton/trunk/doc/guide/CompilerOverview
U   mlton/trunk/doc/guide/CompilerPassTemplate
U   mlton/trunk/doc/guide/ConstantPropagation
U   mlton/trunk/doc/guide/Contify
U   mlton/trunk/doc/guide/CoreML
U   mlton/trunk/doc/guide/CoreMLSimplify
U   mlton/trunk/doc/guide/DeadCode
U   mlton/trunk/doc/guide/DeepFlatten
U   mlton/trunk/doc/guide/Defunctorize
U   mlton/trunk/doc/guide/Elaborate
U   mlton/trunk/doc/guide/Emacs
U   mlton/trunk/doc/guide/Enscript
U   mlton/trunk/doc/guide/Flatten
U   mlton/trunk/doc/guide/FrontEnd
U   mlton/trunk/doc/guide/FunctionalRecordUpdate
U   mlton/trunk/doc/guide/Globalize
U   mlton/trunk/doc/guide/HowProfilingWorks
U   mlton/trunk/doc/guide/ImplementExceptions
U   mlton/trunk/doc/guide/ImplementHandlers
U   mlton/trunk/doc/guide/ImplementProfiling
U   mlton/trunk/doc/guide/ImplementSuffix
U   mlton/trunk/doc/guide/Inline
U   mlton/trunk/doc/guide/InsertLimitChecks
U   mlton/trunk/doc/guide/InsertSignalChecks
U   mlton/trunk/doc/guide/IntroduceLoops
U   mlton/trunk/doc/guide/KnownCase
U   mlton/trunk/doc/guide/LambdaFree
U   mlton/trunk/doc/guide/Libraries
U   mlton/trunk/doc/guide/LocalFlatten
U   mlton/trunk/doc/guide/LocalRef
U   mlton/trunk/doc/guide/LoopInvariant
U   mlton/trunk/doc/guide/Machine
U   mlton/trunk/doc/guide/MatchCompile
U   mlton/trunk/doc/guide/Monomorphise
U   mlton/trunk/doc/guide/Multi
U   mlton/trunk/doc/guide/OpenGL
U   mlton/trunk/doc/guide/PackedRepresentation
U   mlton/trunk/doc/guide/ParallelMove
U   mlton/trunk/doc/guide/PolyEqual
U   mlton/trunk/doc/guide/Polyvariance
U   mlton/trunk/doc/guide/PrecedenceParse
U   mlton/trunk/doc/guide/PropertyList
U   mlton/trunk/doc/guide/RSSA
U   mlton/trunk/doc/guide/RSSAShrink
U   mlton/trunk/doc/guide/RSSASimplify
U   mlton/trunk/doc/guide/Redundant
U   mlton/trunk/doc/guide/RedundantTests
U   mlton/trunk/doc/guide/RefFlatten
U   mlton/trunk/doc/guide/RemoveUnused
U   mlton/trunk/doc/guide/Restore
U   mlton/trunk/doc/guide/SMLNJLibrary
U   mlton/trunk/doc/guide/SSA
U   mlton/trunk/doc/guide/SSA2
U   mlton/trunk/doc/guide/SSA2Simplify
U   mlton/trunk/doc/guide/SSASimplify
U   mlton/trunk/doc/guide/SXML
U   mlton/trunk/doc/guide/SXMLShrink
U   mlton/trunk/doc/guide/SXMLSimplify
U   mlton/trunk/doc/guide/ScopeInference
U   mlton/trunk/doc/guide/Shrink
U   mlton/trunk/doc/guide/SimplifyTypes
U   mlton/trunk/doc/guide/Sources
U   mlton/trunk/doc/guide/ToMachine
U   mlton/trunk/doc/guide/ToRSSA
U   mlton/trunk/doc/guide/ToSSA2
U   mlton/trunk/doc/guide/Useless
U   mlton/trunk/doc/guide/WikiMacros
U   mlton/trunk/doc/guide/XML
U   mlton/trunk/doc/guide/XMLShrink
U   mlton/trunk/doc/guide/XMLSimplify
U   mlton/trunk/doc/guide/XMLSimplifyTypes
U   mlton/trunk/doc/guide/Zone

----------------------------------------------------------------------

Modified: mlton/trunk/doc/guide/AST
===================================================================
--- mlton/trunk/doc/guide/AST	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/AST	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,22 +55,22 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-programs.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-programs.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-programs.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-modules.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast/ast-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast-core.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ast"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ast</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The AST <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. Type inference is performed on an AST program as part of <a href="Elaborate">Elaborate</a>. 

Modified: mlton/trunk/doc/guide/AllocateRegisters
===================================================================
--- mlton/trunk/doc/guide/AllocateRegisters	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/AllocateRegisters	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/allocate-registers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/allocate-registers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">allocate-registers.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/CKitLibrary
===================================================================
--- mlton/trunk/doc/guide/CKitLibrary	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CKitLibrary	2005-11-16 03:48:50 UTC (rev 4238)
@@ -167,7 +167,7 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/ckit-lib/ckit.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ckit.patch</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/CallingFromCToSML
===================================================================
--- mlton/trunk/doc/guide/CallingFromCToSML	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CallingFromCToSML	2005-11-16 03:48:50 UTC (rev 4238)
@@ -197,14 +197,14 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/export.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">export.sml</a>
  
 </p>
 </li>
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/ffi-export.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-export.c</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/CallingFromSMLToC
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToC	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CallingFromSMLToC	2005-11-16 03:48:50 UTC (rev 4238)
@@ -134,14 +134,14 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/import.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">import.sml</a>
  
 </p>
 </li>
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/ffi-import.c"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ffi-import.c</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer
===================================================================
--- mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CallingFromSMLToCFunctionPointer	2005-11-16 03:48:50 UTC (rev 4238)
@@ -210,7 +210,7 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/doc/examples/ffi/iimport.sml"><img src="moin-www.png" alt="[WWW]" height="11" width="11">iimport.sml</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/Chunkify
===================================================================
--- mlton/trunk/doc/guide/Chunkify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Chunkify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/chunkify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/chunkify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">chunkify.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Breaking large <a href="RSSA">RSSA</a> functions into chunks is necessary for reasonable <tt>gcc</tt> compile times with the <a class="nonexistent" href="CCodegen">CCodegen</a>. 

Modified: mlton/trunk/doc/guide/ClosureConvert
===================================================================
--- mlton/trunk/doc/guide/ClosureConvert	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ClosureConvert	2005-11-16 03:48:50 UTC (rev 4238)
@@ -61,9 +61,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/closure-convert.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/closure-convert.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">closure-convert.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/CommonArg
===================================================================
--- mlton/trunk/doc/guide/CommonArg	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CommonArg	2005-11-16 03:48:50 UTC (rev 4238)
@@ -82,9 +82,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-arg.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-arg.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-arg.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Three analyses were originally proposed to drive the optimization transformation.  Only the <em>Dominator Analysis</em> is currently implemented.  (Implementations of the other analyses are available in the Subversion repository.) 

Modified: mlton/trunk/doc/guide/CommonBlock
===================================================================
--- mlton/trunk/doc/guide/CommonBlock	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CommonBlock	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-block.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-block.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-block.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-block.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 
     <ul>

Modified: mlton/trunk/doc/guide/CommonSubexp
===================================================================
--- mlton/trunk/doc/guide/CommonSubexp	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CommonSubexp	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-subexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/common-subexp.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/common-subexp.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">common-subexp.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 In addition to getting the usual sorts of things like  

Modified: mlton/trunk/doc/guide/CompilerOverview
===================================================================
--- mlton/trunk/doc/guide/CompilerOverview	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CompilerOverview	2005-11-16 03:48:50 UTC (rev 4238)
@@ -259,9 +259,9 @@
 
 <p>
 The <tt>Compile</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/main/compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
 ), controls the high-level view of the compiler passes, from <a href="FrontEnd">FrontEnd</a> to code generation. 
 </p>
 </div>

Modified: mlton/trunk/doc/guide/CompilerPassTemplate
===================================================================
--- mlton/trunk/doc/guide/CompilerPassTemplate	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CompilerPassTemplate	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ZZZ.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ZZZ.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ZZZ.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Relevant details and notes. 

Modified: mlton/trunk/doc/guide/ConstantPropagation
===================================================================
--- mlton/trunk/doc/guide/ConstantPropagation	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ConstantPropagation	2005-11-16 03:48:50 UTC (rev 4238)
@@ -61,9 +61,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/constant-propagation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/constant-propagation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/constant-propagation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">constant-propagation.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/Contify
===================================================================
--- mlton/trunk/doc/guide/Contify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Contify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/contify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/contify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/contify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">contify.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 See <a href = "References#FluetWeeks01">Contification Using Dominators</a>.  The intermediate language described in that paper has since evolved to the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a>; hence, the complication described in Section 6.1 is no longer relevant. 

Modified: mlton/trunk/doc/guide/CoreML
===================================================================
--- mlton/trunk/doc/guide/CoreML	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CoreML	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/core-ml/core-ml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/core-ml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/core-ml/core-ml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">core-ml.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The CoreML <a href="IntermediateLanguage">IntermediateLanguage</a> has no independent type checker. 

Modified: mlton/trunk/doc/guide/CoreMLSimplify
===================================================================
--- mlton/trunk/doc/guide/CoreMLSimplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/CoreMLSimplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,7 +50,7 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The single optimization pass for the <a href="CoreML">CoreML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> is controlled by the <tt>Compile</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/main/compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">compile.fun</a>
 ). <p>
 The following optimization pass is implemented: 
 </p>

Modified: mlton/trunk/doc/guide/DeadCode
===================================================================
--- mlton/trunk/doc/guide/DeadCode	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/DeadCode	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/core-ml/dead-code.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/core-ml/dead-code.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/core-ml/dead-code.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">dead-code.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 In order to compile small programs rapidly, a pass of dead code elimination is run in order to eliminate as much of the Basis Library as possible.  The dead code elimination algorithm used is not safe in general, and only works because the Basis Library implementation has special properties: 

Modified: mlton/trunk/doc/guide/DeepFlatten
===================================================================
--- mlton/trunk/doc/guide/DeepFlatten	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/DeepFlatten	2005-11-16 03:48:50 UTC (rev 4238)
@@ -61,9 +61,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/deep-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/deep-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/deep-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">deep-flatten.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/Defunctorize
===================================================================
--- mlton/trunk/doc/guide/Defunctorize	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Defunctorize	2005-11-16 03:48:50 UTC (rev 4238)
@@ -87,9 +87,9 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/defunctorize/defunctorize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/defunctorize/defunctorize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/defunctorize/defunctorize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">defunctorize.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 This pass is grossly misnamed (a consequence of the implementation of an <a href="Elaborate">Elaborate</a> pass that follows the  <a href="DefinitionOfStandardML"> Definition</a> and produces readable error messages). 

Modified: mlton/trunk/doc/guide/Elaborate
===================================================================
--- mlton/trunk/doc/guide/Elaborate	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Elaborate	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,27 +55,27 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-env.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-modules.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-modules.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-modules.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-core.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/elaborate-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/elaborate-core.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate-core.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate"><img src="moin-www.png" alt="[WWW]" height="11" width="11">elaborate</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 At the modules level, the Elaborate pass: 
@@ -86,9 +86,9 @@
     <li>
 <p>
  elaborates signatures with interfaces (see 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/interface.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.sig</a>
  and 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/interface.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/interface.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">interface.fun</a>
 ).   
 </p>
 </li>
@@ -120,9 +120,9 @@
             <ul>
 
    This is implemented by building a dummy structure realized from the    signature, just as we would for a functor argument when type    checking a functor.  The dummy structure contains exactly the type    information that is in the signature, which is what opacity    requires.  We then replace the variables (and constructors) in the    dummy structure with the corresponding variables (and constructors)    from the actual structure so that the translation to <a href="CoreML">CoreML</a>    uses the right stuff.  For each tycon in the dummy structure, we    keep track of the corresponding type structure in the actual    structure.  This is used when producing the <a href="CoreML">CoreML</a> types (see    <tt>expandOpaque</tt> in 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/type-env.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.sig</a>
  and    
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/type-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/type-env.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-env.fun</a>
 ). 
             </ul>
 

Modified: mlton/trunk/doc/guide/Emacs
===================================================================
--- mlton/trunk/doc/guide/Emacs	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Emacs	2005-11-16 03:48:50 UTC (rev 4238)
@@ -83,7 +83,7 @@
     <li class="gap">
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/mlton.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlton.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/emacs/mlton.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlton.el</a>
  contains the Emacs lisp that <a href="StephenWeeks">StephenWeeks</a>  uses to interact with MLton (in addition to using <tt>sml-mode</tt>). 
 </p>
 </li>
@@ -113,7 +113,7 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-mlb-mode.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-mlb-mode.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/emacs/esml-mlb-mode.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-mlb-mode.el</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/Enscript
===================================================================
--- mlton/trunk/doc/guide/Enscript	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Enscript	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,7 +55,7 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_simple.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_simple.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/enscript/sml_simple.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_simple.st</a>
  -- Provides highlighting of keywords, string and character constants, and (nested) comments.  
 <pre class=code>
 <I><FONT COLOR="#B22222">(* Comments (* can be nested *) *)</FONT></I>
@@ -69,7 +69,7 @@
     <li class="gap">
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_verbose.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_verbose.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/enscript/sml_verbose.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_verbose.st</a>
  -- Supersedes the above, adding  highlighting of numeric constants.  Due to the limited parsing  available, numeric record labels are highlighted as numeric  constants, in all contexts.  Likewise, a binding precedence separated  from <tt>infix</tt> or <tt>infixr</tt> by a newline is highlighted as a  numeric constant and a numeric record label selector separated from  <tt>#</tt> by a newline is highlighted as a numeric constant.  
 </p>
  
@@ -93,7 +93,7 @@
     <li class="gap">
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_fancy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_fancy.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/enscript/sml_fancy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_fancy.st</a>
  -- Supersedes the above, adding  highlighting of type and constructor bindings, highlighting of  explicit binding of type variables at <tt>val</tt> and <tt>fun</tt> declarations, and  separate highlighting of core and modules level keywords.  Due to the  limited parsing available, it is assumed that the input is a  syntactically correct, top-level declaration.  
 <pre class=code>
 <B><FONT COLOR="#0000FF">structure</FONT></B> S = <B><FONT COLOR="#0000FF">struct</FONT></B>
@@ -116,7 +116,7 @@
     <li class="gap">
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_gaudy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_gaudy.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/enscript/sml_gaudy.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_gaudy.st</a>
  -- Supersedes the above, adding  highlighting of type annotations, in both expressions and signatures.  Due to the limited parsing available, it is assumed that the input is  a syntactically correct, top-level declaration.   
 <pre class=code>
 <B><FONT COLOR="#0000FF">signature</FONT></B> S = <B><FONT COLOR="#0000FF">sig</FONT></B>
@@ -175,7 +175,7 @@
             <li>
 <p>
  Append 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/enscript/sml_all.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_all.st</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/enscript/sml_all.st?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sml_all.st</a>
  to <tt>/usr/share/enscript/enscript.st</tt> 
 </p>
 </li>

Modified: mlton/trunk/doc/guide/Flatten
===================================================================
--- mlton/trunk/doc/guide/Flatten	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Flatten	2005-11-16 03:48:50 UTC (rev 4238)
@@ -103,9 +103,9 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">flatten.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/FrontEnd
===================================================================
--- mlton/trunk/doc/guide/FrontEnd	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/FrontEnd	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,18 +55,18 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/front-end/front-end.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/front-end.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/front-end/front-end.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">front-end.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The lexer is produced by <a class="nonexistent" href="MLLex">MLLex</a> from 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.lex?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.lex</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/front-end/ml.lex?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.lex</a>
 . 
 </p>
 <p>
 The parser is produced by <a class="nonexistent" href="MLYacc">MLYacc</a> from 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/front-end/ml.grm?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.grm</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/front-end/ml.grm?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ml.grm</a>
 . 
 </p>
 <p>

Modified: mlton/trunk/doc/guide/FunctionalRecordUpdate
===================================================================
--- mlton/trunk/doc/guide/FunctionalRecordUpdate	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/FunctionalRecordUpdate	2005-11-16 03:48:50 UTC (rev 4238)
@@ -217,7 +217,7 @@
 </p>
 <p>
 The MLton SVN contains Emacs functions in 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/ide/emacs/esml-gen.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-gen.el</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/ide/emacs/esml-gen.el?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">esml-gen.el</a>
  to generate functional tuple update functions and functional record update functions. For example, to generate a <tt>set</tt> function for the record <tt>{a,&nbsp;b,&nbsp;c</tt>} it is sufficient to type <tt>M&nbsp;x&nbsp;esml-gen-fru-setter&nbsp;a&nbsp;b&nbsp;c</tt>. 
 </p>
 <h2 id="head-12c4ffe1d987164a4bedf6ab2aac597a113e181c">Efficiency</h2>

Modified: mlton/trunk/doc/guide/Globalize
===================================================================
--- mlton/trunk/doc/guide/Globalize	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Globalize	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/globalize.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/globalize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/globalize.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">globalize.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/HowProfilingWorks
===================================================================
--- mlton/trunk/doc/guide/HowProfilingWorks	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/HowProfilingWorks	2005-11-16 03:48:50 UTC (rev 4238)
@@ -73,7 +73,7 @@
 </p>
 <p>
 There is the <tt>checkProf</tt> function in 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
 , which checks that the <tt>Enter</tt>/<tt>Leave</tt> statements match up. 
 </p>
 <p>

Modified: mlton/trunk/doc/guide/ImplementExceptions
===================================================================
--- mlton/trunk/doc/guide/ImplementExceptions	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ImplementExceptions	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/implement-exceptions.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-exceptions.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/implement-exceptions.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-exceptions.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/ImplementHandlers
===================================================================
--- mlton/trunk/doc/guide/ImplementHandlers	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ImplementHandlers	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/implement-handlers.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/implement-handlers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/implement-handlers.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-handlers.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/ImplementProfiling
===================================================================
--- mlton/trunk/doc/guide/ImplementProfiling	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ImplementProfiling	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/profile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/profile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/profile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">profile.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 See <a href="HowProfilingWorks">HowProfilingWorks</a>. 

Modified: mlton/trunk/doc/guide/ImplementSuffix
===================================================================
--- mlton/trunk/doc/guide/ImplementSuffix	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ImplementSuffix	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/implement-suffix.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/implement-suffix.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/implement-suffix.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">implement-suffix.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 ImplementSuffix works by introducing a new <tt>ref</tt> cell to contain the function of type <tt>unit&nbsp;-&gt;&nbsp;unit</tt> that should be called on program exit. 

Modified: mlton/trunk/doc/guide/Inline
===================================================================
--- mlton/trunk/doc/guide/Inline	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Inline	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/inline.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/inline.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/inline.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">inline.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The Inline pass can be invoked to use one of three metrics: 

Modified: mlton/trunk/doc/guide/InsertLimitChecks
===================================================================
--- mlton/trunk/doc/guide/InsertLimitChecks	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/InsertLimitChecks	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/InsertSignalChecks
===================================================================
--- mlton/trunk/doc/guide/InsertSignalChecks	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/InsertSignalChecks	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/limit-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/limit-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">limit-check.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/IntroduceLoops
===================================================================
--- mlton/trunk/doc/guide/IntroduceLoops	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/IntroduceLoops	2005-11-16 03:48:50 UTC (rev 4238)
@@ -79,9 +79,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/introduce-loops.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/introduce-loops.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/introduce-loops.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">introduce-loops.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/KnownCase
===================================================================
--- mlton/trunk/doc/guide/KnownCase	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/KnownCase	2005-11-16 03:48:50 UTC (rev 4238)
@@ -105,9 +105,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/known-case.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/known-case.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/known-case.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">known-case.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 One interesting aspect of KnownCase, is that it often has the effect of unrolling list traversals by one iteration, moving the <tt>nil</tt>/<tt>::</tt> check to the end of the loop, rather than the beginning. 

Modified: mlton/trunk/doc/guide/LambdaFree
===================================================================
--- mlton/trunk/doc/guide/LambdaFree	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/LambdaFree	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/lambda-free.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/closure-convert/lambda-free.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/closure-convert/lambda-free.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">lambda-free.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 For <tt>Lambda</tt>s bound in a <tt>Fun</tt> dec, <tt>lambdaFree</tt> gives the union of the frees of the entire group of mutually recursive functions.  Hence, <tt>lambdaFree</tt> for every <tt>Lambda</tt> in a single <tt>Fun</tt> dec is the same. Furthermore, for a <tt>Lambda</tt> bound in a <tt>Fun</tt> dec, <tt>lambdaRec</tt> gives the list of other functions bound in the same dec defining that <tt>Lambda</tt>.  For example: 

Modified: mlton/trunk/doc/guide/Libraries
===================================================================
--- mlton/trunk/doc/guide/Libraries	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Libraries	2005-11-16 03:48:50 UTC (rev 4238)
@@ -100,9 +100,9 @@
         <li>
 <p>
  The internal MLton library has a regexp module which we hope to   cleanup and make more accessible someday.   See 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/mlton/basic/regexp.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sig</a>
    
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/regexp.sml?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sml</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/mlton/basic/regexp.sml?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">regexp.sml</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/LocalFlatten
===================================================================
--- mlton/trunk/doc/guide/LocalFlatten	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/LocalFlatten	2005-11-16 03:48:50 UTC (rev 4238)
@@ -61,9 +61,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/local-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/local-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-flatten.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/LocalRef
===================================================================
--- mlton/trunk/doc/guide/LocalRef	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/LocalRef	2005-11-16 03:48:50 UTC (rev 4238)
@@ -78,9 +78,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/local-ref.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/local-ref.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/local-ref.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">local-ref.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Moving a global <tt>ref</tt> requires the <a href="Multi">Multi</a> analysis, because a global <tt>ref</tt> can only be moved into a function that is executed at most once. 

Modified: mlton/trunk/doc/guide/LoopInvariant
===================================================================
--- mlton/trunk/doc/guide/LoopInvariant	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/LoopInvariant	2005-11-16 03:48:50 UTC (rev 4238)
@@ -72,9 +72,9 @@
   ...
 </pre><h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/loop-invariant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/loop-invariant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/loop-invariant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">loop-invariant.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/Machine
===================================================================
--- mlton/trunk/doc/guide/Machine	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Machine	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,18 +55,18 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The Machine <a href="IntermediateLanguage">IntermediateLanguage</a> has a primitive type checker, which only checks some liveness properties. 
 </p>
 <p>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/machine.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/machine.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">machine.fun</a>
  
 </p>
 <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>

Modified: mlton/trunk/doc/guide/MatchCompile
===================================================================
--- mlton/trunk/doc/guide/MatchCompile	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/MatchCompile	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/match-compile/match-compile.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/match-compile/match-compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/match-compile/match-compile.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">match-compile.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 
 <pre>val matchCompile:

Modified: mlton/trunk/doc/guide/Monomorphise
===================================================================
--- mlton/trunk/doc/guide/Monomorphise	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Monomorphise	2005-11-16 03:48:50 UTC (rev 4238)
@@ -72,9 +72,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/monomorphise.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/monomorphise.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/monomorphise.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">monomorphise.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The monomorphiser works by making one pass over the entire program. On the way down, it creates a cache for each variable declared in a polymorphic declaration that maps a lists of type arguments to a new variable name.  At a variable reference, it consults the cache (based on the types the variable is applied to).  If there is already an entry in the cache, it is used.  If not, a new entry is created.  On the way up, the monomorphiser duplicates a variable declaration for each entry in the cache. 

Modified: mlton/trunk/doc/guide/Multi
===================================================================
--- mlton/trunk/doc/guide/Multi	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Multi	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/multi.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/multi.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/multi.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">multi.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/OpenGL
===================================================================
--- mlton/trunk/doc/guide/OpenGL	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/OpenGL	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,7 +55,7 @@
     <li>
 <p>
  <a href="MikeThomas">MikeThomas</a> built a low-level interface, directly translating many  of the functions, covering GL, GLU, and GLUT.  This is available in  the MLton <a href="Sources">Sources</a>: 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/opengl"><img src="moin-www.png" alt="[WWW]" height="11" width="11">opengl</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/opengl"><img src="moin-www.png" alt="[WWW]" height="11" width="11">opengl</a>
 .  The code contains a  number of small, standard OpenGL examples translated to SML. 
 </p>
 </li>

Modified: mlton/trunk/doc/guide/PackedRepresentation
===================================================================
--- mlton/trunk/doc/guide/PackedRepresentation	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/PackedRepresentation	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/representation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">representation.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/representation.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">representation.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/packed-representation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">packed-representation.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/packed-representation.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">packed-representation.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Has a special case to make sure that <tt>true</tt> is represented as <tt>1</tt> and <tt>false</tt> is represented as <tt>0</tt>. 

Modified: mlton/trunk/doc/guide/ParallelMove
===================================================================
--- mlton/trunk/doc/guide/ParallelMove	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ParallelMove	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/parallel-move.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/parallel-move.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/parallel-move.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">parallel-move.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/PolyEqual
===================================================================
--- mlton/trunk/doc/guide/PolyEqual	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/PolyEqual	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/poly-equal.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/poly-equal.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/poly-equal.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">poly-equal.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 For each datatype, tycon, and vector type, it builds and equality function and translates calls to <tt>MLton_equal</tt> into calls to that function. 

Modified: mlton/trunk/doc/guide/Polyvariance
===================================================================
--- mlton/trunk/doc/guide/Polyvariance	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Polyvariance	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/polyvariance.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/polyvariance.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/polyvariance.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">polyvariance.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/PrecedenceParse
===================================================================
--- mlton/trunk/doc/guide/PrecedenceParse	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/PrecedenceParse	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/precedence-parse.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/precedence-parse.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/precedence-parse.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">precedence-parse.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/PropertyList
===================================================================
--- mlton/trunk/doc/guide/PropertyList	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/PropertyList	2005-11-16 03:48:50 UTC (rev 4238)
@@ -132,9 +132,9 @@
 <h2 id="head-a4bc8bf5caf54b18cea9f58e83dd4acb488deb17">Also see</h2>
 <p>
 MLton relies heavily on property lists for attaching information to syntax tree nodes in its intermediate languages.  See  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/mlton/basic/property-list.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.sig</a>
   
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/mlton/basic/property-list.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/mlton/basic/property-list.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">property-list.fun</a>
 . 
 </p>
 <p>

Modified: mlton/trunk/doc/guide/RSSA
===================================================================
--- mlton/trunk/doc/guide/RSSA	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RSSA	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">rssa.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 The new type language is aimed at expressing bit-level control over layout and associated packing of data representations.  There are singleton types that denote constants, other atomic types for things like integers and reals, and arbitrary sum types and sequence (tuple) types.  The big change to the type system is that type checking is now based on subtyping, not type equality.  So, for example, the singleton type 0xFFFFEEBB whose only inhabitant is the eponymous constant is a subtype of the type Word32. 

Modified: mlton/trunk/doc/guide/RSSAShrink
===================================================================
--- mlton/trunk/doc/guide/RSSAShrink	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RSSAShrink	2005-11-16 03:48:50 UTC (rev 4238)
@@ -72,14 +72,14 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/RSSASimplify
===================================================================
--- mlton/trunk/doc/guide/RSSASimplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RSSASimplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,9 +50,9 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The optimization passes for the <a href="RSSA">RSSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Backend</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
 ).   <p>
 The following optimization pass is implemented: 
 </p>

Modified: mlton/trunk/doc/guide/Redundant
===================================================================
--- mlton/trunk/doc/guide/Redundant	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Redundant	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/redundant.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/redundant.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The reason Redundant got put in was due to some output of the <a href="ClosureConvert">ClosureConvert</a> pass converter where the environment record, or components of it, were passed around in several places.  That may have been more relevant with polyvariant analyses (which are long gone). But it still seems possibly relevant, especially with more aggressive flattening, which should reveal some fields in nested closure records that are redundant. 

Modified: mlton/trunk/doc/guide/RedundantTests
===================================================================
--- mlton/trunk/doc/guide/RedundantTests	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RedundantTests	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/redundant-tests.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/redundant-tests.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/redundant-tests.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">redundant-tests.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 An additional test will sometimes eliminate the overflow test when adding or subtracting 1.  In particular, it will eliminate it in the following cases: 

Modified: mlton/trunk/doc/guide/RefFlatten
===================================================================
--- mlton/trunk/doc/guide/RefFlatten	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RefFlatten	2005-11-16 03:48:50 UTC (rev 4238)
@@ -62,9 +62,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ref-flatten.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ref-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ref-flatten.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ref-flatten.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The savings is obvious, I hope.  We avoid an extra heap-allocated object for the <tt>ref</tt>, which in the above case saves two words.  We also save the time and code for the extra indirection at each get and set.  There are lots of useful data structures (singly-linked and doubly-linked lists, union-find, fibonacci heaps, ...) that I believe we are paying through the nose right now because of the absence of ref flattening. 

Modified: mlton/trunk/doc/guide/RemoveUnused
===================================================================
--- mlton/trunk/doc/guide/RemoveUnused	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/RemoveUnused	2005-11-16 03:48:50 UTC (rev 4238)
@@ -117,13 +117,13 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/remove-unused.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/remove-unused.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused.fun</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/remove-unused2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/remove-unused2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/remove-unused2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">remove-unused2.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/Restore
===================================================================
--- mlton/trunk/doc/guide/Restore	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Restore	2005-11-16 03:48:50 UTC (rev 4238)
@@ -62,14 +62,14 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/restore.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/restore.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/restore2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/restore2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/restore2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">restore2.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Based primarily on Section 19.1 of <a href = "References#Appel98">Modern Compiler Implementation in ML</a>. 

Modified: mlton/trunk/doc/guide/SMLNJLibrary
===================================================================
--- mlton/trunk/doc/guide/SMLNJLibrary	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SMLNJLibrary	2005-11-16 03:48:50 UTC (rev 4238)
@@ -236,7 +236,7 @@
     <li>
 <p>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/lib/smlnj-lib/smlnj-lib.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smlnj-lib.patch</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/lib/smlnj-lib/smlnj-lib.patch?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">smlnj-lib.patch</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/SSA
===================================================================
--- mlton/trunk/doc/guide/SSA	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SSA	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,14 +58,14 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 Type checking of a SSA program verfies the following: 
@@ -109,9 +109,9 @@
 
 <p>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
  
 </p>
 <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>

Modified: mlton/trunk/doc/guide/SSA2
===================================================================
--- mlton/trunk/doc/guide/SSA2	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SSA2	2005-11-16 03:48:50 UTC (rev 4238)
@@ -61,14 +61,14 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa2.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-tree2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-tree2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-tree2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-tree2.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 Type checking of a SSA2 program verfies the following: 
@@ -112,9 +112,9 @@
 
 <p>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/type-check2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/type-check2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/type-check2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check2.fun</a>
  
 </p>
 <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>

Modified: mlton/trunk/doc/guide/SSA2Simplify
===================================================================
--- mlton/trunk/doc/guide/SSA2Simplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SSA2Simplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,9 +50,9 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The optimization passes for the <a href="SSA2">SSA2</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Simplify2</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify2.fun</a>
 ).   <p>
 The following optimization passes are implemented: 
 </p>

Modified: mlton/trunk/doc/guide/SSASimplify
===================================================================
--- mlton/trunk/doc/guide/SSASimplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SSASimplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,9 +50,9 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The optimization passes for the <a href="SSA">SSA</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>Simplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify.fun</a>
 ).   <p>
 The following optimization passes are implemented: 
 </p>

Modified: mlton/trunk/doc/guide/SXML
===================================================================
--- mlton/trunk/doc/guide/SXML	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SXML	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,12 +55,12 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/sxml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/sxml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/sxml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-tree.sig</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 SXML shares the type checker for <a href="XML">XML</a>. 

Modified: mlton/trunk/doc/guide/SXMLShrink
===================================================================
--- mlton/trunk/doc/guide/SXMLShrink	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SXMLShrink	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 <a href="SXML">SXML</a> shares the <a href="XMLShrink">XMLShrink</a> simplifier. 

Modified: mlton/trunk/doc/guide/SXMLSimplify
===================================================================
--- mlton/trunk/doc/guide/SXMLSimplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SXMLSimplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,9 +50,9 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The optimization passes for the <a href="SXML">SXML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>SxmlSimplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/sxml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/sxml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/sxml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">sxml-simplify.fun</a>
 ).   <p>
 The following optimization passes are implemented: 
 </p>

Modified: mlton/trunk/doc/guide/ScopeInference
===================================================================
--- mlton/trunk/doc/guide/ScopeInference	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ScopeInference	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/scope.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/elaborate/scope.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/elaborate/scope.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">scope.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Scope inference determines for each type variable, the declaration where it is bound.  Scope inference is a direct implementation of the specification given in section 4.6 of the [:DefinitionOfStandardML: Definition].  Recall that a free occurrence of a type variable <tt>'a</tt> in a declaration <tt>d</tt> is <em>unguarded</em> in <tt>d</tt> if <tt>'a</tt> is not part of a smaller declaration.  A type variable <tt>'a</tt> is implicitly scoped at <tt>d</tt> if <tt>'a</tt> is unguarded in <tt>d</tt> and <tt>'a</tt> does not occur unguarded in any declaration containing <tt>d</tt>. 

Modified: mlton/trunk/doc/guide/Shrink
===================================================================
--- mlton/trunk/doc/guide/Shrink	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Shrink	2005-11-16 03:48:50 UTC (rev 4238)
@@ -87,14 +87,14 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The Shrink pass is run after every <a href="SSA">SSA</a> and <a href="SSA2">SSA2</a> optimization pass. 

Modified: mlton/trunk/doc/guide/SimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/SimplifyTypes	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/SimplifyTypes	2005-11-16 03:48:50 UTC (rev 4238)
@@ -133,9 +133,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 This pass must happen before polymorphic equality is implemented becuase 

Modified: mlton/trunk/doc/guide/Sources
===================================================================
--- mlton/trunk/doc/guide/Sources	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Sources	2005-11-16 03:48:50 UTC (rev 4238)
@@ -65,7 +65,7 @@
 <h2 id="head-164b3d4809f98d0458414f1bf9cf3c9dcba16bb5">Changelog</h2>
 <p>
 See the 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/doc/changelog?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/doc/changelog?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">changelog</a>
  for a list of changes and bug fixes. 
 </p>
 <h2 id="head-5e1dd8155002a7d7db24335015acaddd25a44f09">CVS</h2>

Modified: mlton/trunk/doc/guide/ToMachine
===================================================================
--- mlton/trunk/doc/guide/ToMachine	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ToMachine	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/backend.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/backend.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">backend.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Because the MLton runtime system is shared by all codegens, it is most convenient to decide on stack layout <em>before</em> any codegen takes over.  In particular, we compute all the stack frame info for each <a href="RSSA">RSSA</a> function, including stack size, <a class="nonexistent" href="GarbageCollector">GarbageCollector</a> masks for each frame, etc.  To do so, the <a href="Machine">Machine</a> <a href="IntermediateLanguage">IntermediateLanguage</a> imagines an abstract machine with an infinite number of (pseudo-)registers of every size.  A liveness analysis determines, for each variable, whether or not it is live across a point where the runtime system might take over (for example, any garbage collection point) or a non-tail call to another <a href="RSSA">RSSA</a> function.  Those that are live go on the stack, while those that aren't live go into psuedo-registers.  From this information, we know all we need to about each stack frame.  On the downside, nothing further on is allowed to change this stack info; it is set in stone. 

Modified: mlton/trunk/doc/guide/ToRSSA
===================================================================
--- mlton/trunk/doc/guide/ToRSSA	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ToRSSA	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/ssa-to-rssa.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/backend/ssa-to-rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/backend/ssa-to-rssa.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-rssa.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/ToSSA2
===================================================================
--- mlton/trunk/doc/guide/ToSSA2	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/ToSSA2	2005-11-16 03:48:50 UTC (rev 4238)
@@ -80,9 +80,9 @@
 
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-to-ssa2.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/ssa-to-ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/ssa-to-ssa2.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ssa-to-ssa2.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 </div>
 

Modified: mlton/trunk/doc/guide/Useless
===================================================================
--- mlton/trunk/doc/guide/Useless	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Useless	2005-11-16 03:48:50 UTC (rev 4238)
@@ -90,9 +90,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/useless.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/useless.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/useless.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">useless.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 It is also trivial to convert a useful tuple to one of its useful components -- but this seems hard. 

Modified: mlton/trunk/doc/guide/WikiMacros
===================================================================
--- mlton/trunk/doc/guide/WikiMacros	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/WikiMacros	2005-11-16 03:48:50 UTC (rev 4238)
@@ -62,9 +62,9 @@
 <p>
  <tt>[[DownloadSVN(pathToFile)]]</tt> displays a download link to the ViewCVS page for  <tt>pathToFile</tt>.   <br>
 Examples: 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/Makefile"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/Makefile"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
 , 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/trunk/mlton/main/main.fun"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mlton/tags/on-20051115-release/mlton/main/main.fun"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
  
 </p>
 </li>
@@ -100,9 +100,9 @@
 <p>
  <tt>[[ViewSVN(pathToFile)]]</tt> displays a link to the ViewCVS page for  <tt>pathToFile</tt>.   <br>
 Examples: 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/Makefile?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/Makefile?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Makefile</a>
 , 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main/main.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/main/main.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main.fun</a>
  
 </p>
 </li>
@@ -110,7 +110,7 @@
 <p>
  <tt>[[ViewSVNSDir(pathToDir)]]</tt> displays a link to the ViewCVS  page for <tt>pathToDir</tt>.   <br>
 Examples: 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/main"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/main"><img src="moin-www.png" alt="[WWW]" height="11" width="11">main</a>
  
 </p>
 </li>

Modified: mlton/trunk/doc/guide/XML
===================================================================
--- mlton/trunk/doc/guide/XML	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/XML	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,20 +55,20 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml.fun</a>
 <br>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml-tree.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml-tree.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-tree.fun</a>
  <h2 id="head-a6de4b535fedeaa8890bd890b60fe09f87b5f96a">Type Checking</h2>
 <p>
 XML also has a type checker, used for debugging.  At present, the type checker is also the best specification of the type system of XML.  If you need more details, the type checker (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/type-check.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/type-check.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">type-check.fun</a>
 ), is pretty short. 
 </p>
 <p>

Modified: mlton/trunk/doc/guide/XMLShrink
===================================================================
--- mlton/trunk/doc/guide/XMLShrink	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/XMLShrink	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/shrink.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/shrink.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">shrink.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 The simplifier is based on <a href = "References#AppelJim97">Shrinking Lambda Expressions in Linear Time</a>. 

Modified: mlton/trunk/doc/guide/XMLSimplify
===================================================================
--- mlton/trunk/doc/guide/XMLSimplify	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/XMLSimplify	2005-11-16 03:48:50 UTC (rev 4238)
@@ -50,9 +50,9 @@
 </table>
 <div id="content" lang="en" dir="ltr">
 The optimization passes for the <a href="XML">XML</a> <a href="IntermediateLanguage">IntermediateLanguage</a> are collected and controlled by the <tt>XmlSimplify</tt> functor (
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml-simplify.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.sig</a>
 ,
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/xml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/xml-simplify.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">xml-simplify.fun</a>
 ).   <p>
 The following optimization passes are implemented: 
 </p>

Modified: mlton/trunk/doc/guide/XMLSimplifyTypes
===================================================================
--- mlton/trunk/doc/guide/XMLSimplifyTypes	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/XMLSimplifyTypes	2005-11-16 03:48:50 UTC (rev 4238)
@@ -58,9 +58,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/simplify-types.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/xml/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/xml/simplify-types.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">simplify-types.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 It first computes a simple fixpoint on all the <tt>datatype</tt> declarations to determine which <tt>datatype</tt> <tt>tycon</tt> args are actually used.  Then it does a single pass over the program to determine which polymorphic declaration type variables are used, and rewrites types to eliminate unused type arguments. 

Modified: mlton/trunk/doc/guide/Zone
===================================================================
--- mlton/trunk/doc/guide/Zone	2005-11-16 03:47:54 UTC (rev 4237)
+++ mlton/trunk/doc/guide/Zone	2005-11-16 03:48:50 UTC (rev 4238)
@@ -55,9 +55,9 @@
 </p>
 <h2 id="head-8781d615fd77be9578225c40ac67b9471394cced">Implementation</h2>
 
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.sig</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/zone.sig?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.sig</a>
  
-<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/mlton/ssa/zone.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.fun</a>
+<a href = "http://mlton.org/cgi-bin/viewsvn.cgi/mlton/tags/on-20051115-release/mlton/ssa/zone.fun?view=markup"><img src="moin-www.png" alt="[WWW]" height="11" width="11">zone.fun</a>
  <h2 id="head-35ec00231a68203708e39f0e2cc10b50c6bf62de">Details and Notes</h2>
 <p>
 Compute strongly-connected components to avoid put tuple constructions in loops.