Artifact 8a1430baa843db4d9999b4e7e0fa694f6c8e844dd6e24d6f943027fbea69c400:

• Executable file r37/doc/manual2/prolog2.tex — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1461) [annotate] [blame] [check-ins using] [more...]

• Executable file r38/doc/manual2/prolog2.tex — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1461) [annotate] [blame] [check-ins using]

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BeginCodemist
%%% Taken from Reduce.sty

% \s{...} is a sentential form in descriptions. Enclosed \em text in <...>
\newcommand{\s}[1] {$<${\em #1}$>$}

% \meta{...} is an alternative sentential form in descriptions using \it.
%\newcommand{\meta}[1]{\mbox{$\langle$\it#1\/$\rangle$}}

% \k{...} is a keyword. Just do in bold for the moment.
\renewcommand{\k}[1] {{\bf #1}}

% \f is a function name. Just do this as tt.
\newcommand{\f}[1] {{\tt #1}}

% An example macro for numbering and indenting examples.
\newcounter{examplectr}
\newcommand{\example}{\refstepcounter{examplectr}
\noindent{\bf Example \theexamplectr}}

\part{Additional {\REDUCE} Documentation}
\setcounter{examplectr}{0}

The documentation in this section was written using to a large part
the \LaTeX\ files provided by the authors, and distributed with
\REDUCE.  There has been extensive editing and much rewriting, so
the responsibility for this part of the manual rests with the editor,
John Fitch.  It is hoped that this version of the documentation
contains sufficient information about the facilities available that a
user may be able to progress.  It deliberately avoids discussions of
algorithms or advanced use; for these the package author's own
documentation should be consulted.  In general the package
documentation will contain more examples and in some cases additional
facilities such as tracing.