Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IMP/document/root.tex
changeset 47602 3d44790b5ab0
parent 45246 4fbeabee6487
child 47613 e72e44cee6f2 
--- a/src/HOL/IMP/document/root.tex	Thu Apr 19 12:28:10 2012 +0200
+++ b/src/HOL/IMP/document/root.tex	Thu Apr 19 17:32:30 2012 +0200
@@ -54,6 +54,7 @@
 \author{TN \& GK}
 \maketitle
 
+\setcounter{tocdepth}{2}
 \tableofcontents
 \newpage
isabelle