
diff -r 0542898ab667 -r e90832d7196a doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:03:47 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:04:02 2008 +0200
@@ -9,7 +9,6 @@
 \usepackage{../ttbox,,../rail,../railsetup}
 \usepackage{style}
 \usepackage{../pdfsetup}
-\definecolor{linkcolor}{rgb}{0,0,0}
 
 \hyphenation{Isabelle}
 \hyphenation{Isar}




