%!TEX root = report.tex
%
\newcommand{\appref}[1]{Appendix~\ref{#1}}
\newcommand{\chapref}[1]{Chapter~\ref{#1}}
\newcommand{\secref}[1]{Section~\ref{#1}}
\newcommand{\tblref}[1]{Table~\ref{#1}}
\newcommand{\figref}[1]{Figure~\ref{#1}}
\newcommand{\pref}[1]{{page~\pageref{#1}}}
\newcommand{\defref}[1]{Definition~\ref{#1}}
\newcommand{\lemmaref}[1]{Lemma~\ref{#1}}
\newcommand{\thmref}[1]{Theorem~\ref{#1}}

\newcommand{\eg}{{\em e.g.}}
\newcommand{\cf}{{\em cf.}}
\newcommand{\ie}{{\em i.e.}}
\newcommand{\etc}{{\em etc.\/}}
\newcommand{\naive}{na\"{\i}ve}
\newcommand{\ala}{{\em \`{a} la\/}}
\newcommand{\role}{r\^{o}le}

%
% font commands
\providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
\providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
\providecommand{\kw}[1]{\bftt{#1}}
\providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
\providecommand{\term}[1]{{\sffamily{#1}}}
\providecommand{\tyvar}[1]{#1}
\providecommand{\comment}[1]{#1}
\providecommand{\literal}[1]{#1}
%
% math-mode versions
\providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
\providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
\providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}

% braces
\newcommand{\LCB}{\sym{\char`\{}}
\newcommand{\RCB}{\sym{\char`\}}}

% special symbols
\newcommand{\DS}{\sym{\$}}
\newcommand{\PCT}{\sym{\%}}
\newcommand{\HASH}{\sym{\#}}
\newcommand{\BS}{\sym{\char`\\}}
\newcommand{\US}{\sym{\char`\_}}

% double brackets
\newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
\newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}

% example code
%BEGIN LATEX
\newenvironment{EXAMPLE}{\begin{centercode}}{\end{centercode}}
%END LATEX
%HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}
%HEVEA \usepackage{alltt}

% notes
%BEGIN LATEX
\newcommand{\NOTE}[1]{%
  \par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
%END LATEX
\newcommand{\CUT}[1]{}

%BEGIN LATEX
% timestamp
\newcount\timeHH
\newcount\timeMM
\timeHH=\time
\divide\timeHH by 60
\timeMM=\time
\count255=\timeHH
\multiply\count255 by -60 \advance\timeMM by \count255
\newcommand{\timestamp}{%
  \today{} ---
  \ifnum\timeHH<10 0\fi\number\timeHH\,:\,\ifnum\timeMM<10 0\fi\number\timeMM}
%END LATEX
%HAVEA \newcommand{\timestamp}{\today}

%
% A command to input code produced by extract-code.

\usepackage{ifthen}
\newcommand{\inputCode}[1]{%
  \ifthenelse{\boolean{hevea}}{\input{#1.hva}}{\input{#1.tex}}}