From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Aug 2007 05:14:52 +0000 Subject: Initial population. --- src/input/exit.input.pamphlet | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 src/input/exit.input.pamphlet (limited to 'src/input/exit.input.pamphlet') diff --git a/src/input/exit.input.pamphlet b/src/input/exit.input.pamphlet new file mode 100644 index 00000000..483802ee --- /dev/null +++ b/src/input/exit.input.pamphlet @@ -0,0 +1,33 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input EXIT.input} +\author{The Axiom Team} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +<<*>>= + +-- Input generated from ExitXmpPage +)clear all + +n := 0 +gasp(): Exit == + free n + n := n + 1 + error "Oh no!" +half(k) == + if odd? k then gasp() + else k quo 2 +half 4 +half 3 +n +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} -- cgit v1.2.3