# 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