isabelle: Changelog

wenzelm [Thu, 19 Jul 2012 16:09:48 +0200] rev 48351

less redundant data structures;

wenzelm [Thu, 19 Jul 2012 15:45:59 +0200] rev 48350

clarified topological ordering: preserve order of adjacency via reverse fold;

wenzelm [Thu, 19 Jul 2012 14:24:40 +0200] rev 48349

support Session.Queue with ordering and dependencies;

wenzelm [Thu, 19 Jul 2012 14:15:08 +0200] rev 48348

clarified signature;

wenzelm [Thu, 19 Jul 2012 12:37:08 +0200] rev 48347

more explicit treatment of initial Pure sessions;

wenzelm [Thu, 19 Jul 2012 12:05:54 +0200] rev 48346

more general support for Isabelle/Scala command line tools;

wenzelm [Thu, 19 Jul 2012 11:54:19 +0200] rev 48345

tuned width;

wenzelm [Thu, 19 Jul 2012 11:47:49 +0200] rev 48344

prefer general Properties.Value.Boolean;

wenzelm [Wed, 18 Jul 2012 20:59:02 +0200] rev 48343

more SHA1.digest operations;

wenzelm [Wed, 18 Jul 2012 20:55:19 +0200] rev 48342

tuned import;

isabelle