NEWS
changeset 63226 d8884c111bca
parent 63215 c7de5b311909
child 63227 d3ed7f00e818
     1.1 --- a/NEWS	Thu Jun 02 17:47:47 2016 +0200
     1.2 +++ b/NEWS	Fri Jun 03 22:27:01 2016 +0200
     1.3 @@ -401,6 +401,10 @@
     1.4  executables are found within the shell search $PATH: "isabelle" and
     1.5  "isabelle_scala_script".
     1.6  
     1.7 +* Isabelle tools may consist of .scala files: the Scala compiler is
     1.8 +invoked on the spot. The source needs to define some object that extends
     1.9 +Isabelle_Tool.Body.
    1.10 +
    1.11  * The Isabelle ML process is now managed directly by Isabelle/Scala, and
    1.12  shell scripts merely provide optional command-line access. In
    1.13  particular: