# HG changeset patch # User wenzelm # Date 1210885074 -7200 # Node ID 7f5b390a4448acfd4961d1651789f0c27f9d62ab # Parent 14b4d95d4be22c17a6afb0aadfa647964485b38b tuned; diff -r 14b4d95d4be2 -r 7f5b390a4448 NEWS --- a/NEWS Thu May 15 22:10:18 2008 +0200 +++ b/NEWS Thu May 15 22:57:54 2008 +0200 @@ -108,7 +108,8 @@ 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). +value unchanged, can be redefined via \definecolor); no longer sets +"a4paper" option (unnecessary or even intrusive). * Antiquotation "lemma" takes a proposition and a simple method text as argument and asserts that the proposition is provable by the