isabelle: Changelog

noschinl [Wed, 15 Apr 2015 16:48:24 +0200] rev 60080

merged

noschinl [Wed, 15 Apr 2015 15:10:01 +0200] rev 60079

rewrite: add ML interface

wenzelm [Wed, 15 Apr 2015 15:57:58 +0200] rev 60078

use wasysym for \<hole>;

wenzelm [Wed, 15 Apr 2015 15:27:45 +0200] rev 60077

tuned signature, clarified modules;

wenzelm [Wed, 15 Apr 2015 14:54:25 +0200] rev 60076

tuned messages;

wenzelm [Wed, 15 Apr 2015 14:01:28 +0200] rev 60075

obsolete (see also 94b2690ad494);

wenzelm [Wed, 15 Apr 2015 13:55:01 +0200] rev 60074

GUI controls for ML_statistics, for more digestible protocol dump;

wenzelm [Wed, 15 Apr 2015 11:47:29 +0200] rev 60073

more robust error handling of commands that are declared but not yet defined;

wenzelm [Tue, 14 Apr 2015 22:54:07 +0200] rev 60072

NEWS;

wenzelm [Tue, 14 Apr 2015 22:50:11 +0200] rev 60071

clarified sledgehammer options to approximate old-style diagnostic command;

isabelle