# HG changeset patch
# User haftmann
# Date 1117628205 -7200
# Node ID 3c939bb524206c04cf11da775f2e20b0ecee1750
# Parent  75cb95f4825f37cbc849e3d10d8069b1692becb3
remove CVS id from *.sty latex styles

diff -r 75cb95f4825f -r 3c939bb52420 doc-src/LaTeXsugar/Sugar/document/Sugar.tex
--- 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}
diff -r 75cb95f4825f -r 3c939bb52420 lib/Tools/latex
--- 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
 }