--- 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)
--------------------------------