isabelle: Changelog

wenzelm [Fri, 02 May 2014 20:41:01 +0200] rev 56833

clarified synchronization and exception handling;

wenzelm [Fri, 02 May 2014 20:07:55 +0200] rev 56832

more redirection;

wenzelm [Fri, 02 May 2014 20:01:45 +0200] rev 56831

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

wenzelm [Fri, 02 May 2014 19:51:40 +0200] rev 56830

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

wenzelm [Fri, 02 May 2014 19:30:34 +0200] rev 56829

proper tool wrap-up;

wenzelm [Fri, 02 May 2014 19:28:32 +0200] rev 56828

tuned spelling;

wenzelm [Fri, 02 May 2014 18:54:47 +0200] rev 56827

avoid deprecated Scala syntax;

haftmann [Fri, 02 May 2014 21:18:50 +0200] rev 56826

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

wenzelm [Fri, 02 May 2014 14:15:23 +0200] rev 56825

more standard doc session specification;

wenzelm [Fri, 02 May 2014 13:57:57 +0200] rev 56824

discontinued adhoc check (see also ea8343187225);

isabelle