NEWS
changeset 69585 0484086194ce
parent 69580 6f755e3cd95d
child 69586 9171d1ce5a35
equal deleted inserted replaced
69584:a91e32843310 69585:0484086194ce
   158 The ML function Generate_File.generate writes all generated files from a
   158 The ML function Generate_File.generate writes all generated files from a
   159 given theory to the file-system, e.g. a temporary directory where some
   159 given theory to the file-system, e.g. a temporary directory where some
   160 external compiler is applied.
   160 external compiler is applied.
   161 
   161 
   162 
   162 
   163 
       
   164 *** System ***
   163 *** System ***
       
   164 
       
   165 * The command-line tool "isabelle update" uses Isabelle/PIDE in
       
   166 batch-mode to update theory sources based on semantic markup produced in
       
   167 Isabelle/ML. Actual updates depend on system options that may be enable
       
   168 via "-u OPT" (for "update_OPT"). Sessions are specified as in "isabelle
       
   169 dump".
   165 
   170 
   166 * Support for Isabelle command-line tools defined in Isabelle/Scala.
   171 * Support for Isabelle command-line tools defined in Isabelle/Scala.
   167 Instances of class Isabelle_Scala_Tools may be configured via the shell
   172 Instances of class Isabelle_Scala_Tools may be configured via the shell
   168 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle
   173 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle
   169 component).
   174 component).