<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Using Poly/ML - Index</title>
</head>
<body>
<h1 ALIGN="center">Using Poly/ML</h1>
<h3 ALIGN="center">Written by Simon Finn</h3>
<p ALIGN="center">May 1996</p>
<div align="center"><center>
<table border="0">
<tr>
<td width="50%"><font size="3"><a href="Intro1.html#Intro1"><b>1 Introduction</b></a><br>
<a href="Intro1.html#structurePolyML1.1">1.1 The structure PolyML</a><br>
<a href="Intro1.html#startsession1.2">1.2 Starting a Poly/ML session</a><br>
<a href="Intro1.html#updatedb1.3">1.3 Updating the Database</a><br>
<a href="Intro1.html#quitting1.4">1.4 Quitting a Poly/ML session</a><br>
<a href="Intro1.html#including1.5">1.5 Including files</a><br>
<a href="Intro1.html#persist1.6">1.6 Persistence</a><br>
<a href="Intro1.html#debugging1.7">1.7 Debugging </a><br>
<a href="Intro1.html#timing1.8">1.8 Timing and Profiling</a><br>
<a href="Intro1.html#logging1.9">1.9 Session Logging</a><br>
<a href="Intro1.html#remotely1.10">1.10 Using Poly/ML remotely</a><br>
<a href="Intro1.html#flags1.11">1.11 Flags</a><br>
<a href="Intro1.html#discgarb1.12">1.12 The disc garbage collector</a></font>
<p><font size="3"><a href="Basis2.html#Basis2"><b>2 The Standard ML Initial Basis</b></a><br>
<a href="Basis2.html#Types2.1">2.1 Types</a><br>
<a href="Basis2.html#Infixes2.2">2.2 Infixes</a><br>
<a href="Basis2.html#Boolean2.3">2.3 Boolean and Comparison Functions</a><br>
<a href="Basis2.html#Integers2.4">2.4 Integers and Reals</a><br>
<a href="Basis2.html#Typeconversion2.4.1">2.4.1 Type conversion</a><br>
<a href="Basis2.html#Arithmetic2.4.2">2.4.2 Arithmetic functions</a><br>
<a href="Basis2.html#Trigonometric2.4.3">2.4.3 Trigonometric functions</a><br>
<a href="Basis2.html#Order2.4.4">2.4.4 Order Relations</a><br>
<a href="Basis2.html#List2.5">2.5 List processing</a><br>
<a href="Basis2.html#String2.6">2.6 String processing</a><br>
<a href="Basis2.html#Refs2.7">2.7 Refs</a><br>
<a href="Basis2.html#Miscellaneous2.8">2.8 Miscellaneous</a></font></td>
<td><font size="3"><a href="IO3.html#IO3"><b>3 Poly/ML I/O Facilities</b></a><br>
<a href="IO3.html#BasicIO3.1">3.1 BasicIO</a><br>
<a href="IO3.html#ExtendedIO3.2">3.2 ExtendedIO</a></font><p><font size="3"><a href="VectorArray4.html#VectorsArrays4"><b>4 Vectors and Arrays</b></a><br>
<a href="VectorArray4.html#Vectors4.1">4.1 Vectors</a><br>
<a href="VectorArray4.html#Arrays4.2">4.2 Arrays</a></font></p>
<p><font size="3"><a href="Processes5.html"><b>5 Processes</b></a></font></p>
<p><font size="3"><a href="PolyCompiler6.html#PolyML.Compiler6"><b>6 PolyML.Compiler</b></a><br>
<a href="PolyCompiler6.html#Compilerflags6.1">6.1 Compiler flags</a><br>
<a href="PolyCompiler6.html#Forgetfunctions6.2">6.2 Forget functions</a></font></p>
<p><font size="3"><b><a href="Make7.html#MakeSystem7">7 The Poly/ML Make System</a><br>
</b><a href="Make7.html#Intro7.1">7.1 Introduction</a><br>
<a href="Make7.html#Non-RCS7.2">7.2 Non-RCS mode</a><br>
<a href="Make7.html#RCSmode7.3">7.3 RCS mode</a><br>
<a href="Make7.html#Example7.4">7.4 Example</a></font></p>
<p><font size="3"><a href="ChildDbs8.html#MultipleDatabases8"><b>8 Using Multiple
Databases</b></a><br>
<a href="ChildDbs8.html#ChildDatabases8.1">8.1 Child Databases </a><br>
<a href="ChildDbs8.html#CopyingLinkedDatabases8.2">8.2 Copying Linked Databases</a><br>
<a href="ChildDbs8.html#DatabaseHeapLimits8.3">8.3 Database and Heap Limits</a></font></p>
<p><font size="3"><a href="HeapParms9.html"><b>9 Poly/ML Heap Parameters</b></a></font></p>
<p><font size="3"><a href="ErrorWarnA.html"><b>A Poly/ML RTS Warning and Error Messages</b></a></font></td>
</tr>
</table>
</center></div>
<p><font size="2"><b>Copyright (c) 2000 CUTS and contributers. </b></font></p>
</body>
</html>
