yet another completion option, to imitate old less ambitious behavior;

reduced cluttering of popups;

propagate more events, notably after hide_popup (e.g. LEFT, RIGHT);

merged

NEWS;

more robust interrupt handling for Scala_Console, which uses JVM Thread.interrupt instead of POSIX SIGINT;

more sensible interrupt of interpreter, when the user pushes Cancel button;

obsolete in scala-2.11.0;

fork Scala interpreter thread, independently of Swing_Thread;

clarified synchronization and exception handling;

more redirection;

prefer scala.Console with its support for thread-local redirection;

tuned signature -- channels for diagnostic output for system tools means stderr;

proper tool wrap-up;

tuned spelling;

avoid deprecated Scala syntax;

enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)

more standard doc session specification;

discontinued adhoc check (see also ea8343187225);

more frugal access to theory text via Reader, reduced costs for I/O text decoding; prefer non-strict Symbol.decode, since Reader[Char] may present symbols in either way;

support URLs as well;

reclaimed Byte_Reader from 51560e392e1b;

new documentation: How to Prove it

disable bad Z3 proof

use SMT2 for Boogie examples

less verbose SAT tactic

use internal proof-producing SAT solver for more efficient SMT proof replay

added internal proof-producing SAT solver

tuned output;

separate ML module