| changeset 26900 | e37358673f87 |
| parent 26870 | 94bedbb34b92 |
| child 26904 | e90832d7196a |
--- 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}