diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
commit | ab8cc85adde879fb963c94d15675783f2cf4b183 (patch) | |
tree | c202482327f474583b750b2c45dedfc4e4312b1d /src/hyper/pages/NONE.pht | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/hyper/pages/NONE.pht')
-rw-r--r-- | src/hyper/pages/NONE.pht | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/src/hyper/pages/NONE.pht b/src/hyper/pages/NONE.pht new file mode 100644 index 00000000..7e748c0d --- /dev/null +++ b/src/hyper/pages/NONE.pht @@ -0,0 +1,48 @@ +\begin{patch}{NoneXmpPagePatch1} +\begin{paste}{NoneXmpPageFull1}{NoneXmpPageEmpty1} +\pastebutton{NoneXmpPageFull1}{\hidepaste} +\tab{5}\spadcommand{[]} +\indentrel{3}\begin{verbatim} + (1) [] + Type: List None +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{NoneXmpPageEmpty1} +\begin{paste}{NoneXmpPageEmpty1}{NoneXmpPagePatch1} +\pastebutton{NoneXmpPageEmpty1}{\showpaste} +\tab{5}\spadcommand{[]} +\end{paste}\end{patch} + +\begin{patch}{NoneXmpPagePatch2} +\begin{paste}{NoneXmpPageFull2}{NoneXmpPageEmpty2} +\pastebutton{NoneXmpPageFull2}{\hidepaste} +\tab{5}\spadcommand{[] :: List Float} +\indentrel{3}\begin{verbatim} + (2) [] + Type: List Float +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{NoneXmpPageEmpty2} +\begin{paste}{NoneXmpPageEmpty2}{NoneXmpPagePatch2} +\pastebutton{NoneXmpPageEmpty2}{\showpaste} +\tab{5}\spadcommand{[] :: List Float} +\end{paste}\end{patch} + +\begin{patch}{NoneXmpPagePatch3} +\begin{paste}{NoneXmpPageFull3}{NoneXmpPageEmpty3} +\pastebutton{NoneXmpPageFull3}{\hidepaste} +\tab{5}\spadcommand{[]$List(NonNegativeInteger)} +\indentrel{3}\begin{verbatim} + (3) [] + Type: List NonNegativeInteger +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{NoneXmpPageEmpty3} +\begin{paste}{NoneXmpPageEmpty3}{NoneXmpPagePatch3} +\pastebutton{NoneXmpPageEmpty3}{\showpaste} +\tab{5}\spadcommand{[]$List(NonNegativeInteger)} +\end{paste}\end{patch} + |