1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:18 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:20 2008 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  \usepackage{../ttbox,,../rail,../railsetup}
     1.5  \usepackage{style}
     1.6  \usepackage{../pdfsetup}
     1.7 +\definecolor{linkcolor}{rgb}{0,0,0}
     1.8  
     1.9  \hyphenation{Isabelle}
    1.10  \hyphenation{Isar}