NEWS
changeset 15277 eb649b6dbf15
parent 15242 1a4b471b1afa
child 15287 55b7f7920622
     1.1 --- a/NEWS	Thu Nov 11 10:50:24 2004 +0100
     1.2 +++ b/NEWS	Fri Nov 12 15:45:19 2004 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* isatool usedir: new option -f that allows to specify the ML file to
     1.8 +  be used by Isabelle; default is ROOT.ML.
     1.9 +
    1.10  * Theory headers: the new header syntax for Isar theories is
    1.11  
    1.12    theory <name>