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.