# HG changeset patch
# User kleing
# Date 1052134936 -7200
# Node ID 65b76920e108b992e1b6130cfa16dc2d60d5fbc4
# Parent  6206d3e7672aabd6f5c159648f7b56ae9c53148f
document preparation tuning

diff -r 6206d3e7672a -r 65b76920e108 NEWS
--- a/NEWS	Mon May 05 10:53:27 2003 +0200
+++ b/NEWS	Mon May 05 13:42:16 2003 +0200
@@ -179,6 +179,20 @@
 up simprocs;
 
 
+*** Document preparation ***
+
+* uses \par instead of \\ for line breaks in theory text. This may
+shift some page breaks in large documents. To get the old behaviour
+use \renewcommand{\isanewline}{\mbox{}\\\mbox{}} in root.tex.
+
+* minimized dependencies of isabelle.sty and isabellesym.sty on 
+other packages
+
+* \<euro> now needs package babel/greek instead of marvosym (which
+broke \Rightarrow)
+
+* normal size for \<0>...\<9> (uses \mathbf instead of textcomp package)
+
 
 New in Isabelle2002 (March 2002)
 --------------------------------