1 \newcommand{\absolutelink}[1]{\link{\makeurl{#1}}}
2 \newcommand{\addr}{mlton.org
}
3 \newcommand{\chaplab}[1]{\label{chapter:
#1}}
4 \newcommand{\chapref}[1]{Chapter~
\ref{chapter:
#1}}
5 \newcommand{\chap}[2]{\chapter{#1}{\chaplab{#2}}}
6 \newcommand{\code}[1]{\htmladdnormallink{{\tt #1}}{../../
#1}}
7 \newcommand{\deflab}[1]{\label{definition:
#1}}
8 \newcommand{\defref}[1]{Definition~
\ref{definition:
#1}}
9 \newcommand{\figBegin}{\begin{figure
}\begin{boxit
}}
10 \newcommand{\figEnd}[2]{\caption{#1}\figlab{#2}\end{boxit
}\end{figure
}}
11 \newcommand{\figlab}[1]{\label{figure:
#1}}
12 \newcommand{\figref}[1]{Figure~
\ref{figure:
#1}}
13 \newcommand{\lemlab}[1]{\label{lemma:
#1}}
14 \newcommand{\lemref}[1]{Lemma~
\ref{lemma:
#1}}
15 \newcommand{\link}[1]{\htmladdnormallink{{\tt #1}}{#1}}
16 \newcommand{\mailto}[1]{\htmladdnormallink{{\tt #1}}{mailto:
#1}}
17 \newcommand{\makeurl}[1]{http://www.
\addr/MLton/
#1}
18 \newcommand{\mltonmail}{\mailto{MLton@
\addr}}
19 \newcommand{\mlton}{MLton
}
20 \newcommand{\mosml}{Moscow ML
}
21 \newcommand{\place}[1]{\item[\tt #1]\hspace{1in
}\\
}
22 \newcommand{\seclab}[1]{\label{section:
#1}}
23 \newcommand{\secref}[1]{Section~
\ref{section:
#1}}
24 \newcommand{\smlnj}{SML/NJ
}
25 \newcommand{\subsecc}[2]{\subsubsection{#1}\seclab{#2}}
26 \newcommand{\subsec}[2]{\subsection{#1}\seclab{#2}}
27 \newcommand{\subsubsec}[2]{\subsubsection{#1}\label{section:
#2}}
28 \newcommand{\tabBegin}{\begin{table
}}
29 \newcommand{\tablab}[1]{\label{table:
#1}}
30 \newcommand{\tabref}[1]{Table~
\ref{table:
#1}}
31 \newcommand{\thmlab}[1]{\label{theorem:
#1}}
32 \newcommand{\thmref}[1]{Theorem~
\ref{theorem:
#1}}
33 \newcommand{\userguide}{{\mlton} User Guide
}
34 \newcommand{\version}{VERSION
}
35 \renewcommand{\sec}[2]{\section{#1}\seclab{#2}}
36 \newenvironment{boxit
}{\vbox\bgroup\hrule\hbox\bgroup\vrule\kern3pt\vbox\bgroup\kern3pt\advance\hsize by -
6.8pt
\relax}{\par\kern3pt\egroup\kern3pt\vrule\egroup\hrule\egroup}