diff options
Diffstat (limited to 'ghc/docs/abstracts/useful.sty')
-rw-r--r-- | ghc/docs/abstracts/useful.sty | 186 |
1 files changed, 0 insertions, 186 deletions
diff --git a/ghc/docs/abstracts/useful.sty b/ghc/docs/abstracts/useful.sty deleted file mode 100644 index bc901a359a..0000000000 --- a/ghc/docs/abstracts/useful.sty +++ /dev/null @@ -1,186 +0,0 @@ -%**************************************************************** -%* * -%* GENERALLY USEFUL MACROS * -%* * -%**************************************************************** - - -%**************************************************************** -%* * -%* Some standard abbreviations * -%* * -%**************************************************************** - -% Haskell name -\newcommand{\Haskell}[1]{Haskell} - -% \ba \ea: Abbreviations for begin and end array -% -\newcommand{\ba}{\begin{array}} -\newcommand{\ea}{\end{array}} - - -%**************************************************************** -%* * -%* Keeping text together * -%* * -%**************************************************************** - -% Use \begin{together} (or \bt) -% \end{together} (or \et) -% -% to keep a paragraph together on a single page. - -\newenvironment{together}% - {\begin{flushleft}\begin{minipage}{\textwidth}}% - {\end{minipage}\end{flushleft}} - -\newcommand{\bt}{\begin{together}} -\newcommand{\et}{\end{together}} - - -%**************************************************************** -%* * -%* ToDo macro (cf showtodo.sty) * -%* * -%**************************************************************** - -\newcommand{\ToDo}[1]{} - - -%**************************************************************** -%* * -%* Making boxes round things * -%* * -%**************************************************************** - -% \outline{text} typesets text in a centred framed box of the width -% of the page. -% -\newcommand{\outline}[1]{ - \begin{center} - \fbox{ - \begin{minipage}{\linewidth} - #1 - \end{minipage} - } - \end{center} -} - -%**************************************************************** -%* * -%* Math codes * -%* * -%**************************************************************** - -% The mathcodes for the letters A, ..., Z, a, ..., z are changed to -% generate text italic rather than math italic by default. This makes -% multi-letter identifiers look better. The mathcode for character c -% is set to "7000 (variable family) + "400 (text italic) + c. -% - - -% Old Latex -% -%\def\@setmcodes#1#2#3{{\count0=#1 \count1=#3 -% \loop \global\mathcode\count0=\count1 \ifnum \count0<#2 -% \advance\count0 by1 \advance\count1 by1 \repeat}} -% -%\@setmcodes{`A}{`Z}{"7441} -%\@setmcodes{`a}{`z}{"7461} - - -% Should work with Latex 3.0 -% -%{\catcode`\= 11 -% \gdef\mathrm{\use@mathgroup \=cmr \z@} -% %\gdef\mit{\use@mathgroup \=cmm \@ne} -% \gdef\mit{\use@mathgroup \=cmt \@ne} -% \gdef\cal{\use@mathgroup \=cmsy \tw@} -% } - -\@ifundefined{selectfont} - {} - {\newmathalphabet{\textit} - \addtoversion{normal}{\textit}{cmr}{m}{it} - \addtoversion{bold}{\textit}{cmr}{bx}{it} - \everymath{\textit} - \everydisplay{\textit} - } - -%**************************************************************** -%* * -%* Definitions for macros used in figures * -%* These are produced by fig2dev, so we need defns for them * -%* * -%**************************************************************** - -% These ones work for 11-pt typesetting - -\@ifundefined{selectfont} %DL is MS scheme present? -{}{ -\def\fiverm{\rm\tiny} % Five pt -\def\sevrm{\rm\scriptsize} % Seven pt - -\def\nintt{\tt\footnotesize} -\def\ninrm{\rm\footnotesize} - -\def\tenrm{\rm\small} % Ten pt -\def\tentt{\tt\small} % Ten pt - -\def\elvrm{\rm\normalsize} % Eleven pt -\def\elvit{\em\normalsize} - -\def\twlbf{\bf\large} % Twelve pt -\def\twlit{\em\large} -\def\twltt{\tt\large} -\def\twlrm{\rm\large} -\def\twfvtt{\tt\large} - -\def\frtnrm{\rm\Large} % Fourteen pt -\def\frtnbf{\bf\Large} -\def\frtnit{\em\Large} -\def\frtntt{\tt\Large} - -\def\svtnsf{\sf\huge} % Seventeen pt - - -% cant remember why I need these -\def\egt{\size{8}{9} } -\def\elv{\size{11}{12} } -\def\five{\size{5}{7} } -\def\fiv{\size{5}{6} } -\def\frtn{\size{14}{15} } -\def\nin{\size{9}{10} } -\def\sev{\size{7}{8} } -\def\six{\size{6}{7} } -\def\svtn{\size{17}{18} } -\def\ten{\size{10}{11} } -\def\twfv{\size{25}{27} } -\def\twl{\size{12}{14} } -\def\twty{\size{20}{22} } -} - -%**************************************************************** -%* * -%* Useful symbols * -%* * -%**************************************************************** - - -% Semantic brackets -% -% \leftsembrac [[ left semantic bracket -% \rightsembrac ]] right semantic bracket -% \sembrac{x} [[x]] enclose arg in semantic brackets -% \semfun{E}{x} E[[x]] make E curly -% -\newcommand{\leftsembrac}{[\![} -\newcommand{\rightsembrac}{]\!]} -\newcommand{\sembrac}[1]{\leftsembracb#1\rightsembrac} -\newcommand{\semfun}[2]{{\cal #1}\db{#2}\,} - -% \plusplus ++ run together -% -\def\plusplus{\mathrel{+\!\!\!+}} - |