testboard: Changelog

haftmann [Thu, 19 Jul 2012 22:21:59 +0200] rev 48371

export code relatively to master directory

wenzelm [Fri, 20 Jul 2012 18:50:33 +0200] rev 48370

require explicit initialization of options; more explicit Position operations;

wenzelm [Fri, 20 Jul 2012 17:43:55 +0200] rev 48369

tuned signature;

wenzelm [Fri, 20 Jul 2012 16:47:43 +0200] rev 48368

define build_options from command line;

wenzelm [Fri, 20 Jul 2012 16:47:17 +0200] rev 48367

some basic Isabelle options;

wenzelm [Fri, 20 Jul 2012 16:45:38 +0200] rev 48366

basic jEdit mode for Isabelle options;

wenzelm [Fri, 20 Jul 2012 15:48:22 +0200] rev 48365

basic support for stand-alone options with external string representation;

wenzelm [Fri, 20 Jul 2012 12:45:12 +0200] rev 48364

minimal build_job;

wenzelm [Fri, 20 Jul 2012 12:27:25 +0200] rev 48363

restrict to required sessions;

wenzelm [Fri, 20 Jul 2012 12:00:08 +0200] rev 48362

proper commas_quote;

testboard