diff options
Diffstat (limited to 'src/algebra/drawopt.spad.pamphlet')
-rw-r--r-- | src/algebra/drawopt.spad.pamphlet | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/algebra/drawopt.spad.pamphlet b/src/algebra/drawopt.spad.pamphlet index 26437f52..107d5d3d 100644 --- a/src/algebra/drawopt.spad.pamphlet +++ b/src/algebra/drawopt.spad.pamphlet @@ -1,15 +1,17 @@ \documentclass{article} \usepackage{axiom} \begin{document} -\title{\$SPAD/src/algebra drawopt.spad} +\title{src/algebra drawopt.spad} \author{Stephen M. Watt, Jim Wen} \maketitle + \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + \section{domain DROPT DrawOption} + <<domain DROPT DrawOption>>= )abbrev domain DROPT DrawOption ++ Author: Stephen Watt @@ -222,6 +224,7 @@ DrawOption(): Exports == Implementation where \section{package DROPT1 DrawOptionFunctions1} <<package DROPT1 DrawOptionFunctions1>>= +import Type import Symbol import List DrawOption )abbrev package DROPT1 DrawOptionFunctions1 |