\usepackage{charter}
\usepackage{epsfig}
\usepackage{xspace,graphicx,doc,alltt,varioref,helvetic}

\newcommand{\ie}{\textit{i.e.}~}
\newcommand{\eg}{\textit{e.g.}~}

% Various configurable typographical parameters

\newcommand{\UserTypes}[1]{\textsf{\textbf{#1}}}
\newcommand{\textcomment}[1]{\textnormal{\textit{#1}}}

% A centered horizontal rule for separating paragraphs

\newcommand{\midrule}{\par
  \noindent\hbox to \textwidth{\hfill\hrulefill\hfill}\smallskip\par}

% Enable graphics files with -ps.gz extension

\DeclareGraphicsExtensions{-ps.gz}
\DeclareGraphicsRule{-ps.gz}{eps}{-ps.bb}{`gunzip -c #1}

%\begin{obfuscated-TeX}

\def\diagminuskern#1#2{{%
        \dimen0#2\relax
        \count0=\wd#1%
        \multiply\count0by100
        \divide\count0by\ht#1%
        \multiply\dimen0by\count0
        \kern-.01\dimen0}}
\def\cmix{{\upshape
        C%
        \setbox0\hbox{C}%
        \dimen0\ht0
        \advance\dimen0by-.13ex
        \kern-.1ex
        \raise.5\dimen0\hbox{\vrule height.13ex width.5ex}%
        \kern-.05ex
        Mix%
        \setbox0\hbox{\setbox0\hbox{/}\raise\dp0\box0}%
        \dimen0=.1\wd0                    % line width in 'II' part
        \dimen2=\ht0\advance\dimen2by-1ex % descender length for slash
        \ifdim\dimen2>1ex\relax\dimen2=1ex\fi
        \diagminuskern0{\dimen2}%
        \raise-\dimen2\copy0
        \dimen4\ht0\advance\dimen4by-\dimen2
        \dimen2=.6ex
        \advance\dimen4by-\dimen2
        \diagminuskern0{\dimen4}\kern-\dimen0
        \dimen4=\dimen2\advance\dimen4by-\dimen0
        \raise-\dimen2\vbox{\hrule height\dimen0\hbox{%
                \hskip.5\dimen4
                \vrule width\dimen0 height\dimen4 depth\dimen4
                \hskip.5\dimen4
                \vrule width\dimen0
                \hskip.5\dimen4
                }\hrule height\dimen0}}}
        
\def\example#1{\unskip
        \ifhmode
                \vadjust{\penalty300\vskip 3pt}\\%
        \else
                \noindent
        \fi
        \hbox{\texttt{ { } { } { } \frenchspacing#1}}%
        \afterassignment\exampleA\let\exampleNext=}
\def\exampleA{%
        \vadjust{\penalty300\vskip 3pt}%
        \ifx\exampleNext\example
                \vadjust{\vskip-5pt}
        \else\ifx\exampleNext\par\else
                \\%
        \fi\fi
        \exampleNext
}

\catcode`\»=13
\catcode`\«=13
\def»#1«{\texttt{\upshape#1}}
\def«#1»{{\rmfamily\itshape#1}}

\font\commentfont=cmss10
\def\comment#1{\par
        {\dimen0=1ex
        \ifdim\prevdepth>0pt
                \advance\dimen0 by\prevdepth
        \fi
        \vskip\dimen0}
        \nointerlineskip
        \hbox{\vrule width2pt\vbox{
                \hrule
                \prevdepth0pt
                \advance\hsize by-\leftskip
                \advance\hsize by-\rightskip
                \advance\hsize by-4pt
                \leftskip 1.5ex
                \rightskip 1.5explus.5\hsize
                \commentfont
                \parindent0pt
                #1\par
                \vskip\baselineskip
                \vskip-1ex
                \vskip-\prevdepth
                \hrule
        }\vrule width2pt}\prevdepth0pt\relax}

\newcommand{\figurehere}[2]{\begin{figure}\epsffile{#1.eps}%
        \caption{#2}\label{#1}\end{figure}}

\chardef\tilde126\relax

\hfuzz 2pt

% A command for setting URLs in a nice way

\makeatletter
  \newcommand\@slash{\discretionary{/}{}{/}}
  \newcommand\@url[1]{\textsf{#1}\egroup}
  \def\makenormalslash{\catcode`\/=12}
  {\catcode`\/=\active
    \gdef\makediscretionaryslash{\catcode`\/=\active\def/{\@slash}}
    \gdef\url{\bgroup\catcode`\/=\active
      \def~{\~{}}\def\do##1{\catcode`##1=11}\do\~\do\_
      \makediscretionaryslash\@url}}
\makeatother

%\end{obfuscated-TeX}

%%% Local Variables:
%%% mode: tex
%%% TeX-master: shared
%%% End:
