--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Wed Jun 01 14:16:45 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex Wed Jun 01 14:16:45 2005 +0200
@@ -246,8 +246,8 @@
own way, you can extract the premises and the conclusion explicitly
and combine them as you like:
\begin{itemize}
-\item \verb!@!\verb!{thm_style premise1! $thm$\verb!}!
-prints premise 1 of $thm$ (and similarly up to \texttt{premise9}).
+\item \verb!@!\verb!{thm_style prem1! $thm$\verb!}!
+prints premise 1 of $thm$ (and similarly up to \texttt{prem9}).
\item \verb!@!\verb!{thm_style concl! $thm$\verb!}!
prints the conclusion of $thm$.
\end{itemize}
@@ -255,8 +255,8 @@
\isa{P} we conclude \isa{P\ {\isasymand}\ Q}''
is produced by
\begin{quote}
-\verb!from !\verb!@!\verb!{thm_style premise2 conjI}!\\
-\verb!and !\verb!@!\verb!{thm_style premise1 conjI}!\\
+\verb!from !\verb!@!\verb!{thm_style prem2 conjI}!\\
+\verb!and !\verb!@!\verb!{thm_style prem1 conjI}!\\
\verb!we conclude !\verb!@!\verb!{thm_style concl conjI}!
\end{quote}
Thus you can rearrange or hide premises and typeset the theorem as you like.
@@ -372,7 +372,7 @@
\end{quote}
A ``style'' is a transformation of propositions. There are predefined
- styles, namly \verb!lhs! and \verb!rhs!, \verb!premise1! unto \verb!premise9!, and \verb!concl!.
+ styles, namly \verb!lhs! and \verb!rhs!, \verb!prem1! up to \verb!prem9!, and \verb!concl!.
For example,
the output
\begin{center}
--- a/lib/Tools/latex Wed Jun 01 14:16:45 2005 +0200
+++ b/lib/Tools/latex Wed Jun 01 14:16:45 2005 +0200
@@ -89,7 +89,7 @@
rm -f $TARGET
"$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g; print;' "$STYLEFILE" > "$TARGET"
#~ "$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$/originating from CVS: $1/g; print;' $STYLEFILE > $TARGET
- #~ # the [I] is there to prevent CVS from expanding $Id...$ itself ;-)
+ # the [I] is there to prevent CVS from expanding $Id...$ itself ;-)
done
}