NEWS
changeset 56276 9e2d5e3debd3
parent 56275 600f432ab556
child 56279 b4d874f6c6be
     1.1 --- a/NEWS	Tue Mar 25 13:18:10 2014 +0100
     1.2 +++ b/NEWS	Tue Mar 25 14:52:35 2014 +0100
     1.3 @@ -41,7 +41,8 @@
     1.4  * Command 'SML_file' reads and evaluates the given Standard ML file.
     1.5  Toplevel bindings are stored within the theory context; the initial
     1.6  environment is restricted to the Standard ML implementation of
     1.7 -Poly/ML, without the add-ons of Isabelle/ML.
     1.8 +Poly/ML, without the add-ons of Isabelle/ML.  See also
     1.9 +~~/src/Tools/SML/Examples.thy for some basic examples.
    1.10  
    1.11  
    1.12  *** Prover IDE -- Isabelle/Scala/jEdit ***