wenzelm [Fri, 20 Jul 2012 16:45:38 +0200] rev 49381
basic jEdit mode for Isabelle options;
wenzelm [Fri, 20 Jul 2012 15:48:22 +0200] rev 49380
basic support for stand-alone options with external string representation;
wenzelm [Fri, 20 Jul 2012 12:45:12 +0200] rev 49379
minimal build_job;
wenzelm [Fri, 20 Jul 2012 12:27:25 +0200] rev 49378
restrict to required sessions;
wenzelm [Fri, 20 Jul 2012 12:00:08 +0200] rev 49377
proper commas_quote;
wenzelm [Fri, 20 Jul 2012 11:52:20 +0200] rev 49376
tune;
wenzelm [Fri, 20 Jul 2012 11:46:37 +0200] rev 49375
simplified script to build Isabelle/ML;
wenzelm [Thu, 19 Jul 2012 22:32:52 +0200] rev 49374
added eq_file / copy_file corresponding to File.eq / File.copy in ML;
wenzelm [Thu, 19 Jul 2012 20:52:17 +0200] rev 49373
merged
haftmann [Thu, 19 Jul 2012 19:38:39 +0200] rev 49372
removed ML module DSeq which was a part of the ancient code generator (cf. 58e33a125f32)