NEWS;
authorwenzelm
Thu Jan 03 21:04:16 2019 +0100 (10 months ago)
changeset 695850484086194ce
parent 69584 a91e32843310
child 69586 9171d1ce5a35
NEWS;
NEWS
     1.1 --- a/NEWS	Thu Jan 03 20:16:42 2019 +0100
     1.2 +++ b/NEWS	Thu Jan 03 21:04:16 2019 +0100
     1.3 @@ -160,9 +160,14 @@
     1.4  external compiler is applied.
     1.5  
     1.6  
     1.7 -
     1.8  *** System ***
     1.9  
    1.10 +* The command-line tool "isabelle update" uses Isabelle/PIDE in
    1.11 +batch-mode to update theory sources based on semantic markup produced in
    1.12 +Isabelle/ML. Actual updates depend on system options that may be enable
    1.13 +via "-u OPT" (for "update_OPT"). Sessions are specified as in "isabelle
    1.14 +dump".
    1.15 +
    1.16  * Support for Isabelle command-line tools defined in Isabelle/Scala.
    1.17  Instances of class Isabelle_Scala_Tools may be configured via the shell
    1.18  function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle