NEWS
changeset 57439 0e41f26a0250
parent 57437 0baf08c075b9
child 57443 577f029fde39
     1.1 --- a/NEWS	Mon Jun 30 09:31:32 2014 +0200
     1.2 +++ b/NEWS	Mon Jun 30 09:43:44 2014 +0200
     1.3 @@ -894,6 +894,10 @@
     1.4  incompatibility for old tools that do not use the $ISABELLE_PROCESS
     1.5  settings variable yet.
     1.6  
     1.7 +* Former "isabelle tty" has been superseded by "isabelle console",
     1.8 +with implicit build like "isabelle jedit", and without the mostly
     1.9 +obsolete Isar TTY loop.
    1.10 +
    1.11  * Removed obsolete "isabelle unsymbolize".  Note that the usual format
    1.12  for email communication is the Unicode rendering of Isabelle symbols,
    1.13  as produced by Isabelle/jEdit, for example.