isabelle: Changelog

wenzelm [Thu, 03 Jun 2010 23:56:05 +0200] rev 37310

do not open Proofterm, which is very ould style;

wenzelm [Thu, 03 Jun 2010 23:17:57 +0200] rev 37309

eliminated ML structure alias;

wenzelm [Thu, 03 Jun 2010 22:54:33 +0200] rev 37308

tuned default perspective;

wenzelm [Thu, 03 Jun 2010 22:45:49 +0200] rev 37307

tracing in aliceblue;

wenzelm [Thu, 03 Jun 2010 22:31:59 +0200] rev 37306

discontinued obsolete Isar.context() -- long superseded by @{context};

wenzelm [Thu, 03 Jun 2010 22:17:36 +0200] rev 37305

diagnostic commands 'ML_val' and 'ML_command' may refer to antiquotations @{Isar.state} and @{Isar.goal};

wenzelm [Thu, 03 Jun 2010 22:06:37 +0200] rev 37304

allow qualified names;

krauss [Thu, 03 Jun 2010 16:56:44 +0200] rev 37303

CONTRIBUTORS

krauss [Thu, 03 Jun 2010 16:39:50 +0200] rev 37302

clarified

krauss [Thu, 03 Jun 2010 16:39:05 +0200] rev 37301

mention unconstrain in NEWS

isabelle