NEWS

--- a/NEWS	Fri Dec 14 17:57:39 2007 +0100
+++ b/NEWS	Fri Dec 14 21:15:32 2007 +0100
@@ -44,6 +44,13 @@
 equality.
 
 
+*** System ***
+
+* isatool tty runs Isabelle process with plain tty interaction;
+optional line editor may be specified via ISABELLE_LINE_EDITOR
+setting, the default settings attempt to locate "ledit" and "rlwrap".
+
+
 
 New in Isabelle2007 (November 2007)
 -----------------------------------