| changeset 11862 | 03801fd2f8fc |
| parent 11102 | 5ceaa79c220d |
| child 13381 | 60bc63b13857 |
--- a/src/HOL/Unix/document/root.tex Sun Oct 21 19:41:43 2001 +0200 +++ b/src/HOL/Unix/document/root.tex Sun Oct 21 19:42:24 2001 +0200 @@ -6,7 +6,6 @@ \urlstyle{rm} \isabellestyle{it} -\renewcommand{\isabeginpar}{\par\smallskip} \renewcommand{\isamarkupcmt}[1]{{\isastylecmt---~~#1}} \newcommand{\secref}[1]{\S\ref{#1}}