Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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} |