doc-src/LaTeXsugar/Sugar/document/Sugar.tex

--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Tue May 31 12:16:42 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Tue May 31 12:36:01 2005 +0200
@@ -296,7 +296,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsubsection{Proofs%
+\isamarkupsection{Proofs%
 }
 \isamarkuptrue%
 %
@@ -353,7 +353,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsubsection{Styles\label{sec:styles}%
+\isamarkupsection{Styles\label{sec:styles}%
 }
 \isamarkuptrue%
 %