separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
2 \setlength{\parskip}{3pt plus 3pt minus 3pt} % compact table of contents
7 %\addcontentsline{toc}{chapter}{List of Figures}
10 % format sections to chapters for this scope
11 \titleformat{\section}{\bf\huge}{\thesection\quad}{0em}{}
12 \titlespacing*{\section}{0em}{-2em}{1.5em}
13 \def\chapter*#1{\section*{#1}}
17 %%\addcontentsline{toc}{chapter}{List of Tables}
21 %%\addcontentsline{toc}{chapter}{List of Listings}