isabelle: Changelog

bulwahn [Wed, 10 Jun 2009 21:04:36 +0200] rev 31550

code_pred command now also requires proofs for dependent predicates; changed handling of parameters in introrules of executable function

bulwahn [Wed, 10 Jun 2009 10:42:24 +0200] rev 31549

tuned; corrected exception handling

wenzelm [Wed, 10 Jun 2009 11:40:49 +0200] rev 31548

tuned;

wenzelm [Wed, 10 Jun 2009 11:31:36 +0200] rev 31547

discontinued escaped symbols; tuned;

wenzelm [Wed, 10 Jun 2009 11:31:26 +0200] rev 31546

eliminated escaped symbols;

wenzelm [Wed, 10 Jun 2009 11:29:57 +0200] rev 31545

discontinued escaped symbols such as \\<forall> -- only one backslash should be used;

wenzelm [Wed, 10 Jun 2009 11:28:39 +0200] rev 31544

updated generated files;

wenzelm [Wed, 10 Jun 2009 11:12:40 +0200] rev 31543

allow Isabelle symbols within low-level ML source;

wenzelm [Wed, 10 Jun 2009 11:12:06 +0200] rev 31542

reraise exceptions to preserve position information;

wenzelm [Wed, 10 Jun 2009 00:46:37 +0200] rev 31541

simplified Graph.extend;

isabelle