isabelle: Changelog

wenzelm [Wed, 22 Dec 2010 13:30:58 +0100] rev 41382

explicit JVM check on startup;

wenzelm [Wed, 22 Dec 2010 12:05:17 +0100] rev 41381

more explicit jvm_name;

wenzelm [Wed, 22 Dec 2010 11:52:57 +0100] rev 41380

isabelle java: prefer -server here;

wenzelm [Tue, 21 Dec 2010 21:54:51 +0100] rev 41379

configuration option "rule_trace"; discontinued preference "trace-rules";

wenzelm [Tue, 21 Dec 2010 21:31:36 +0100] rev 41378

configuration option "syntax_branching_level";

wenzelm [Tue, 21 Dec 2010 21:21:21 +0100] rev 41377

configuration option "syntax_ast_trace" and "syntax_ast_stat";

wenzelm [Tue, 21 Dec 2010 21:05:50 +0100] rev 41376

more robust ML antiquotations -- allow original tokens without adjacent whitespace;

wenzelm [Tue, 21 Dec 2010 19:35:36 +0100] rev 41375

configuration option "ML_trace";

haftmann [Tue, 21 Dec 2010 17:52:35 +0100] rev 41374

merged

haftmann [Tue, 21 Dec 2010 17:52:23 +0100] rev 41373

id_const replaces mk_id

isabelle