| changeset 16075 | 8852058ecf8d |
| parent 15953 | 902b556e4bc0 |
| child 16154 | 9bf4b6bf4372 |
--- a/doc-src/LaTeXsugar/Sugar/document/root.tex Wed May 25 10:43:15 2005 +0200 +++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Wed May 25 10:51:42 2005 +0200 @@ -42,7 +42,7 @@ documents in a style close to that in ordinary computer science papers. \end{abstract} -\tableofcontents +%\tableofcontents % generated text of all theories \input{Sugar.tex}