[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu May 15 20:21:25 CEST 2008


* Simplified pdfsetup.sty: color/hyperref is used unconditionally for
both pdf and dvi (hyperlinks usually work in xdvi as well); removed
obsolete thumbpdf setup (contemporary PDF viewers do this on the
spot); renamed link color from "darkblue" to "linkcolor" (default
value unchanged, can be redefined via \definecolor).




More information about the isabelle-dev mailing list