isabelle: Changelog

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;

wenzelm [Wed, 18 Jul 2012 20:01:55 +0200] rev 48341

tuned source structure;

wenzelm [Wed, 18 Jul 2012 19:47:10 +0200] rev 48340

allow explicit specification of additional session directories;

wenzelm [Wed, 18 Jul 2012 17:27:28 +0200] rev 48339

more errors;

wenzelm [Wed, 18 Jul 2012 17:22:59 +0200] rev 48338

some HOL sessions;

wenzelm [Wed, 18 Jul 2012 17:17:38 +0200] rev 48337

cumulate semantic Session_Info, based on syntactic Session_Entry; tuned errors;

isabelle