isabelle: Changelog

wenzelm [Wed, 01 Apr 2015 22:46:49 +0200] rev 59904

tuned;

wenzelm [Wed, 01 Apr 2015 22:40:41 +0200] rev 59903

merged

wenzelm [Wed, 01 Apr 2015 22:40:07 +0200] rev 59902

misc tuning -- keep name space more clean;

wenzelm [Wed, 01 Apr 2015 22:08:06 +0200] rev 59901

added command 'experiment';

wenzelm [Wed, 01 Apr 2015 21:12:05 +0200] rev 59900

imitate old "intern" semantics for the sake of outdated/unmaintained code, notably relevant for Simpl;

wenzelm [Wed, 01 Apr 2015 19:31:28 +0200] rev 59899

NEWS;

wenzelm [Wed, 01 Apr 2015 18:22:55 +0200] rev 59898

clarified "main" group, e.g. relevant for Isabelle/jEdit menu;

wenzelm [Wed, 01 Apr 2015 18:18:12 +0200] rev 59897

evade popular keyword;

wenzelm [Wed, 01 Apr 2015 18:17:44 +0200] rev 59896

tuned signature;

wenzelm [Wed, 01 Apr 2015 18:16:53 +0200] rev 59895

clarified module; more parallel processing;

isabelle