| changeset 465 | d4bf81734dfe |
| parent 463 | afb7259aebb8 |
| child 873 | 0cfc734e3dbd |
--- a/doc-src/Logics/logics.tex Tue Jul 12 09:28:00 1994 +0200 +++ b/doc-src/Logics/logics.tex Tue Jul 12 12:49:15 1994 +0200 @@ -35,7 +35,7 @@ \underscoreoff -\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? \pagestyle{headings} \sloppy