From bedf76bc35efa334b6fe5d3ce72dcdd7a308e33f Mon Sep 17 00:00:00 2001 From: simonm Date: Fri, 6 Feb 1998 10:38:39 +0000 Subject: [PATCH] [project @ 1998-02-06 10:38:39 by simonm] This isn't needed anymore. --- ghc/docs/grasp.sty | 177 ---------------------------------------------------- 1 file changed, 177 deletions(-) delete mode 100644 ghc/docs/grasp.sty diff --git a/ghc/docs/grasp.sty b/ghc/docs/grasp.sty deleted file mode 100644 index 4e2cf15..0000000 --- a/ghc/docs/grasp.sty +++ /dev/null @@ -1,177 +0,0 @@ -% GRASP style file - -% -% Apart from settings of page size and margins, and -% setting appropriate math-mode italics, -% the following macros are provided: -% -% \ToDo{x} Highlighted note for something left to do -% \srcloc{x} Marginal note of source file x. x is set in -% typewriter font -% \smiley Well, you need one of these sometimes :-) - -%**************************************************************** -%* * -%* Page and paragraph format * -%* * -%**************************************************************** - -% Margins and page layout - -\sloppy % Reduce complaints - -\setlength{\marginparwidth}{1.5cm} - -% Block paragraphs - -\setlength{\parskip}{0.25cm} -\setlength{\parsep}{0.25cm} -\setlength{\topsep}{0cm} % Reduces space before and after verbatim, - % which is implemented using trivlist -\setlength{\parindent}{0cm} - -\renewcommand{\textfraction}{0.2} -\renewcommand{\floatpagefraction}{0.7} - - - -%**************************************************************** -%* * -%* ToDo * -%* * -%**************************************************************** - -\newcommand{\ToDo}[1]{$\spadesuit$~{\bf ToDo:} {\em #1} $\spadesuit$} - - -%**************************************************************** -%* * -%* srcloc * -%* * -%**************************************************************** - -\newcommand{\srcloc}[1]{\mbox{}\marginpar{\footnotesize\tt #1}} -% -% to avoid src-location marginpars, put this in your doc's pre-amble. -%\renewcommand{\srcloc}[1]{} - - -%**************************************************************** -%* * -%* smiley * -%* * -%**************************************************************** - -\newcommand{\smiley}{% -\hbox{$\bigcirc\mskip-13.3mu{}^{..} -\mskip-11mu\scriptscriptstyle\smile\ $}} - -%%\setbox0=\hbox{$\bigcirc$} -%%\dimen0=\wd0 -%%\newbox\smileybox -%%\setbox\smileybox=\hbox{\box0 \kern-.5\dimen0 -%% \lower .25ex\hbox to 0pt{\hss\vpt$\smile$\hss}% -%% \raise .25ex\hbox to 0pt{\hss\$\cdot\kern 0.1em\cdot$\hss}} -%%\wd\smileybox=\dimen0 -%%\def\smiley{\copybox\smileybox} -%% -%%Of course, you can substitute \frown for \smile :-) (but you may need -%%to adjust the spacing) :-( -%%-- -%%Andrew Innes (aci10@eng.cam.ac.uk) -%%Engineering Dept. -%%Cambridge University - - -%**************************************************************** -%* * -%* 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. -% - - -% LaTeX with New Font Selection Scheme (NFSS) - -\@ifundefined{selectfont} - {} - {\newmathalphabet{\textit} - \addtoversion{normal}{\textit}{cmr}{m}{it} - \addtoversion{bold}{\textit}{cmr}{bx}{it} - \everymath{\textit} - \everydisplay{\textit} - } - -% LaTeX without NFSS -% -%\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} - - -%**************************************************************** -%* * -%* 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} } -} - - - - - - -- 1.7.10.4