% FILE. . . . . /home/hak/hlt/src/hlt/language/syntax/xml/user-manual/main.mac
% EDIT BY . . . Hassan Ait-Kaci
% ON MACHINE. . Hak-Laptop
% STARTED ON. . Thu Jan 23 16:01:51 2014

% Last modified on Thu Jan 23 17:23:59 2014 by hak

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\parskip 4pt
\parindent 0pt
\addtolength{\oddsidemargin}{-.075\textwidth}
\addtolength{\evensidemargin}{.075\textwidth}
\setlength{\textwidth}{1.15\textwidth}
\setlength{\textheight}{1.05\textheight}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\hak}{Hassan A{\"\i}t-Kaci}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Make all italics slanted:
\let\textit=\textsl
\let\textem=\textsl
\let\mathit=\mathsl
\let\em=\sl
\let\it=\sl
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\usepackage{a4}
\usepackage{times}
\usepackage{abbrev}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Hyperref package for clickable hyperlinked expressions:
\usepackage{hyperref}
\hypersetup{backref,
colorlinks=true,
linkcolor=blue,
urlcolor=blue}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Useful macros using the hyperref package for footnotes and bibtex:

\newcommand{\flink}[1]{\footnote{\href{#1}{\scriptsize\texttt{#1}}}}
\newcommand{\FLINK}[2]{\footnote{\href{#1}{\scriptsize\texttt{#2}}}}

\newcommand{\online}[1]{[Available online\flink{#1}\/]}
\newcommand{\ONLINE}[2]{[Available online\FLINK{#1}{#2}\/]}

% A macro for tilda that does not stick a space after it:
\newcommand{\TILDA}{\~{}\hspace{-.1em}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Packages defined by hak:

% Wise quotes (at the out set of a report or before secttions ans such):
\usepackage{wquote}
% Oft-used abbreviations:
\usepackage{abbrev}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\usepackage{amsfonts}
\usepackage[centertags]{amsmath}
\usepackage{theorem}

%\numberwithin{equation}{section}
%\numberwithin{equation}{chapter}

\def\formula{\equation\split}
\def\endformula{\endsplit\endequation}
 
\theoremheaderfont{\scshape}
 
\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}{Definition}[section]
\newtheorem{corollary}{Corollary}[section]
 
\theorembodyfont{\normalfont\slshape}
\newtheorem{example}{Example}[section]
\newtheorem{exercise}{Exercise}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{proof}{Proof}[section]

\def\empty{\emptyset}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
\usepackage{threepart}

\lhead{\footnotesize\textsc{\hak}}
\rhead{\footnotesize\textit{\textbf{A Generic XML-Generating Metacompiler}}}
\lfoot{\footnotesize Draft of \today}
\rfoot{\footnotesize Page \thepage~/~\pageref{endpage}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Technical notation macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\omicron}{\ensuremath{o}}

\newcommand{\yacc}{\texttt{Yacc}}
\newcommand{\jacc}{\texttt{Jacc}}
\newcommand{\jdom}{\texttt{JDOM}}

\newenvironment{cshow}%
{\center\bf\tt}%
{\endcenter}

\renewenvironment{show}%
{\quote\bf\tt}%
{\endquote}

\newenvironment{display}%
{\show\obeylines\obeyspaces}%
{\endshow}

\newcommand{\ttbf}[1]{\textbf{\texttt{#1}}}

\newcommand{\XMLINFO}{\ttbf{\%xmlinfo}}
\newcommand{\OP}{\ttbf{@}}

% PSTricks packages:
\usepackage{pstricks}
\usepackage{pst-node}
\usepackage{pst-plot}
\usepackage{pstcolors}

%\newcommand{\COLORKW}[2]{\begingroup#2\ttbf{#1}\resetMainColor\endgroup}
\newcommand{\COLORKW}[2]{\begingroup#2\ttbf{#1}\endgroup}

\newcommand{\ATT}[1]{\COLORKW{#1}{\Green}}
\newcommand{\CHILD}[1]{\COLORKW{#1}{\Red}}
\newcommand{\LOCAL}[1]{\COLORKW{#1}{\Periwinkle}}
\newcommand{\PATH}[1]{\COLORKW{#1}{\Brown}}
\newcommand{\PREFIX}[1]{\COLORKW{#1}{\Mahogany}}
\newcommand{\WRAPPER}[1]{\COLORKW{#1}{\Cyan}}
\newcommand{\XML}[1]{\COLORKW{#1}{\Purple}}
\newcommand{\SPECIAL}[1]{\COLORKW{#1}{\Maroon}}

\newcommand{\TEXT}{\SPECIAL{\$TEXT}}
\newcommand{\VALUE}{\SPECIAL{\$VALUE}}

\newcommand{\cGood}[1]{\COLORKW{#1}{\Green}}
\newcommand{\cBad}[1]{\COLORKW{#1}{\Red}}

\newcommand{\cA}[1]{\COLORKW{#1}{\RubineRed}}
\newcommand{\cB}[1]{\COLORKW{#1}{\CornflowerBlue}}
\newcommand{\cC}[1]{\COLORKW{#1}{\Salmon}}
\newcommand{\cD}[1]{\COLORKW{#1}{\CadetBlue}}
\newcommand{\cE}[1]{\COLORKW{#1}{\Sepia}}
\newcommand{\cF}[1]{\COLORKW{#1}{\Tan}}
\newcommand{\cG}[1]{\COLORKW{#1}{\Aquamarine}}
\newcommand{\cH}[1]{\COLORKW{#1}{\BlueViolet}}
\newcommand{\cI}[1]{\COLORKW{#1}{\Mulberry}}
\newcommand{\cJ}[1]{\COLORKW{#1}{\Dandelion}}
\newcommand{\cK}[1]{\COLORKW{#1}{\Lavender}}
\newcommand{\cL}[1]{\COLORKW{#1}{\Melon}}
\newcommand{\cM}[1]{\COLORKW{#1}{\RawSienna}}
\newcommand{\cN}[1]{\COLORKW{#1}{\CarnationPink}}
\newcommand{\cO}[1]{\COLORKW{#1}{\Goldenrod}}
\newcommand{\cP}[1]{\COLORKW{#1}{\Rhodamine}}
\newcommand{\cQ}[1]{\COLORKW{#1}{\Bittersweet}}
\newcommand{\cR}[1]{\COLORKW{#1}{\RoyalPurple}}
\newcommand{\cS}[1]{\COLORKW{#1}{\JungleGreen}}
\newcommand{\cT}[1]{\COLORKW{#1}{\BurntOrange}}
\newcommand{\cU}[1]{\COLORKW{#1}{\OliveGreen}}
\newcommand{\cV}[1]{\COLORKW{#1}{\Fuchsia}}
\newcommand{\cW}[1]{\COLORKW{#1}{\Emerald}}
\newcommand{\cX}[1]{\COLORKW{#1}{\Cerulean}}
\newcommand{\cY}[1]{\COLORKW{#1}{\Thistle}}
\newcommand{\cZ}[1]{\COLORKW{#1}{\WildStrawberry}}