isabelle: Changelog

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;

wenzelm [Fri, 20 Jul 2012 11:52:20 +0200] rev 48361

tune;

wenzelm [Fri, 20 Jul 2012 11:46:37 +0200] rev 48360

simplified script to build Isabelle/ML;

wenzelm [Thu, 19 Jul 2012 22:32:52 +0200] rev 48359

added eq_file / copy_file corresponding to File.eq / File.copy in ML;

wenzelm [Thu, 19 Jul 2012 20:52:17 +0200] rev 48358

merged

haftmann [Thu, 19 Jul 2012 19:38:39 +0200] rev 48357

removed ML module DSeq which was a part of the ancient code generator (cf. 58e33a125f32)

bulwahn [Thu, 19 Jul 2012 12:01:05 +0200] rev 48356

deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest

wenzelm [Thu, 19 Jul 2012 20:49:17 +0200] rev 48355

support for detached Bash_Job with some control operations;

wenzelm [Thu, 19 Jul 2012 20:39:49 +0200] rev 48354

allow catalog entries to be commented-out;

isabelle