# HG changeset patch # User wenzelm # Date 1210875589 -7200 # Node ID a4b7fe1068f96831636aae8ed789028f63aaed06 # Parent 67040326ab7ab6116edc9101a17c12bc08b7fd1f * Simplified pdfsetup.sty; diff -r 67040326ab7a -r a4b7fe1068f9 NEWS --- a/NEWS Thu May 15 20:14:10 2008 +0200 +++ b/NEWS Thu May 15 20:19:49 2008 +0200 @@ -104,6 +104,12 @@ *** Document preparation *** +* 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). + * Antiquotation "lemma" takes a proposition and a simple method text as argument and asserts that the proposition is provable by the corresponding method invocation. Prints text of proposition, as does