isabelle: Changelog

wenzelm [Wed, 10 Jun 2009 15:26:49 +0200] rev 31552

merged

bulwahn [Thu, 11 Jun 2009 12:06:13 +0200] rev 31551

making isatest happy; but misunderstanding remains

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;

isabelle