Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor rewording
authorwebertj
Mon, 15 Nov 2004 17:04:11 +0100
changeset 15287 55b7f7920622
parent 15286 b084384960d1
child 15288 9d49290ed885
minor rewording
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Nov 15 13:51:43 2004 +0100
+++ b/NEWS	Mon Nov 15 17:04:11 2004 +0100
@@ -6,8 +6,8 @@
 
 *** General ***
 
-* isatool usedir: new option -f that allows to specify the ML file to
-  be used by Isabelle; default is ROOT.ML.
+* isatool usedir: new option -f that allows specification of the ML
+  file to be used by Isabelle; default is ROOT.ML.
 
 * Theory headers: the new header syntax for Isar theories is
isabelle