NEWS
changeset 13953 65b76920e108
parent 13938 b033b53d0c1e
child 13954 2e989faba65a
     1.1 --- a/NEWS	Mon May 05 10:53:27 2003 +0200
     1.2 +++ b/NEWS	Mon May 05 13:42:16 2003 +0200
     1.3 @@ -179,6 +179,20 @@
     1.4  up simprocs;
     1.5  
     1.6  
     1.7 +*** Document preparation ***
     1.8 +
     1.9 +* uses \par instead of \\ for line breaks in theory text. This may
    1.10 +shift some page breaks in large documents. To get the old behaviour
    1.11 +use \renewcommand{\isanewline}{\mbox{}\\\mbox{}} in root.tex.
    1.12 +
    1.13 +* minimized dependencies of isabelle.sty and isabellesym.sty on 
    1.14 +other packages
    1.15 +
    1.16 +* \<euro> now needs package babel/greek instead of marvosym (which
    1.17 +broke \Rightarrow)
    1.18 +
    1.19 +* normal size for \<0>...\<9> (uses \mathbf instead of textcomp package)
    1.20 +
    1.21  
    1.22  New in Isabelle2002 (March 2002)
    1.23  --------------------------------