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