1.1 --- a/NEWS	Thu Sep 29 17:02:57 2005 +0200
     1.2 +++ b/NEWS	Thu Sep 29 17:08:52 2005 +0200
     1.3 @@ -125,9 +125,6 @@
     1.4  * Delimiters of outer tokens (string etc.) now produce separate LaTeX
     1.5  macros (\isachardoublequoteopen, isachardoublequoteclose etc.).
     1.6  
     1.7 -* Isabelle's pdfsetup.sty now requires ifpdf.sty (which is part of
     1.8 -common LaTeX distributions) for robust checking of PDF output mode.
     1.9 -
    1.10  * isatool usedir: new option -C (default true) controls whether option
    1.11  -D should include a copy of the original document directory; -C false
    1.12  prevents unwanted effects such as copying of administrative CVS data.