diff options
| -rw-r--r-- | src/interp/clammed.boot (renamed from src/interp/clammed.boot.pamphlet) | 27 |
1 files changed, 5 insertions, 22 deletions
diff --git a/src/interp/clammed.boot.pamphlet b/src/interp/clammed.boot index 1027d7e9..f46f653f 100644 --- a/src/interp/clammed.boot.pamphlet +++ b/src/interp/clammed.boot @@ -1,18 +1,7 @@ -\documentclass{article} -\usepackage{axiom} -\begin{document} -\title{\$SPAD/src/interp clammed.boot} -\author{The Axiom Team} -\maketitle -\begin{abstract} -\end{abstract} -\eject -\tableofcontents -\eject -\section{License} -<<license>>= -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. -- All rights reserved. +-- Copyright (C) 2007, Gabriel Dos Reis. +-- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are @@ -42,11 +31,11 @@ -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -@ -<<*>>= -<<license>> import '"g-timer" )package "BOOT" + +++ All functions defined in this file are `clammed', e.g. they are +++ translated in such a way that they cache results they compute. )eval BOOTTRAN::$bfClamming := true --% Functions on $clamList @@ -223,9 +212,3 @@ underDomainOf t == u := getUnderModeOf(t) => u last d -@ -\eject -\begin{thebibliography}{99} -\bibitem{1} nothing -\end{thebibliography} -\end{document} |