
diff -r 29bb3d1de3bc -r e37358673f87 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:18 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 17:37:20 2008 +0200
@@ -9,6 +9,7 @@
 \usepackage{../ttbox,,../rail,../railsetup}
 \usepackage{style}
 \usepackage{../pdfsetup}
+\definecolor{linkcolor}{rgb}{0,0,0}
 
 \hyphenation{Isabelle}
 \hyphenation{Isar}




