isabelle: Changelog

wenzelm [Sat, 09 Apr 2016 12:36:25 +0200] rev 62921

old;

wenzelm [Sat, 09 Apr 2016 11:35:01 +0200] rev 62920

ensure globally unique counter results;

wenzelm [Sat, 09 Apr 2016 11:34:23 +0200] rev 62919

tuned;

wenzelm [Sat, 09 Apr 2016 11:21:38 +0200] rev 62918

clarified modules;

wenzelm [Fri, 08 Apr 2016 22:48:25 +0200] rev 62917

backout 930a30c1a9af: leads to odd effect of command-line options becoming persistent preferences;

wenzelm [Fri, 08 Apr 2016 22:47:18 +0200] rev 62916

eliminated ancient TTY-based Tactical.tracify and related global references;

wenzelm [Fri, 08 Apr 2016 21:49:43 +0200] rev 62915

updated according to 705d4c4003ea;

wenzelm [Fri, 08 Apr 2016 20:52:40 +0200] rev 62914

option "-o" for "isabelle jedit";

wenzelm [Fri, 08 Apr 2016 20:15:20 +0200] rev 62913

eliminated unused simproc identifier;

wenzelm [Thu, 07 Apr 2016 22:09:23 +0200] rev 62912

section headings for ROOT.ML;

isabelle