diff --git a/Partition_2/doc_tex/Partition_2_ref/intro.tex b/Partition_2/doc_tex/Partition_2_ref/intro.tex index 6dfdca7520f..9903c7c3037 100644 --- a/Partition_2/doc_tex/Partition_2_ref/intro.tex +++ b/Partition_2/doc_tex/Partition_2_ref/intro.tex @@ -48,7 +48,7 @@ primitive types and predicates used by the algorithms. \fi \end{ccTexOnly} -\section{Reference Pages} + \ccHeading{Assertions} @@ -71,6 +71,8 @@ original polygon) \ccIndexSubitemDef{partition}{valid}. \end{ccPackage} +\section{Classified Reference Pages} + \subsection*{Concepts} \lcTex{