NEWS
changeset 57443 577f029fde39
parent 57439 0e41f26a0250
child 57452 ecad2a53755a
     1.1 --- a/NEWS	Mon Jun 30 10:34:28 2014 +0200
     1.2 +++ b/NEWS	Mon Jun 30 10:53:37 2014 +0200
     1.3 @@ -872,6 +872,12 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Proof General with its traditional helper scripts is now an optional
     1.8 +Isabelle component, e.g. ProofGeneral-4.2-2 from the Isabelle
     1.9 +component repository http://isabelle.in.tum.de/components/.  See also
    1.10 +the "system" manual for general explanations about add-on components,
    1.11 +notably those that are not bundled with the normal release.
    1.12 +
    1.13  * Session ROOT specifications require explicit 'document_files' for
    1.14  robust dependencies on LaTeX sources.  Only these explicitly given
    1.15  files are copied to the document output directory, before document