doc/style-guide/macros.tex

   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}