isabelle: Changelog

traytel [Wed, 12 Aug 2015 20:46:33 +0200] rev 60919

use lift_bnf in an example

traytel [Wed, 12 Aug 2015 20:46:33 +0200] rev 60918

new command for lifting BNF structure over typedefs

wenzelm [Wed, 12 Aug 2015 13:56:46 +0200] rev 60917

more thorough reload;

wenzelm [Wed, 12 Aug 2015 13:53:51 +0200] rev 60916

resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;

wenzelm [Wed, 12 Aug 2015 03:07:01 +0200] rev 60915

merged

wenzelm [Wed, 12 Aug 2015 02:40:39 +0200] rev 60914

tuned colors;

wenzelm [Wed, 12 Aug 2015 02:21:00 +0200] rev 60913

clarified breakpoint rendering;

wenzelm [Wed, 12 Aug 2015 02:20:06 +0200] rev 60912

clarified;

wenzelm [Wed, 12 Aug 2015 01:39:31 +0200] rev 60911

default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;

wenzelm [Wed, 12 Aug 2015 01:25:00 +0200] rev 60910

clarified init/exit vs. session phase;

isabelle