isabelle: Changelog

berghofe [Tue, 22 Jan 2013 13:32:41 +0100] rev 51672

case translations performed in a separate check phase (with adjustments by traytel)

wenzelm [Wed, 10 Apr 2013 13:10:38 +0200] rev 51671

formal proof context for axclass proofs; avoid global_simpset_of -- refer to simpset of proof context;

wenzelm [Wed, 10 Apr 2013 12:31:35 +0200] rev 51670

prefer local context;

wenzelm [Wed, 10 Apr 2013 12:24:43 +0200] rev 51669

proper proof context; removed historic comments;

wenzelm [Wed, 10 Apr 2013 11:51:56 +0200] rev 51668

tuned;

wenzelm [Tue, 09 Apr 2013 21:39:55 +0200] rev 51667

merged

wenzelm [Tue, 09 Apr 2013 21:22:15 +0200] rev 51666

add command timings (like document command status);

wenzelm [Tue, 09 Apr 2013 21:14:00 +0200] rev 51665

tuned signature;

wenzelm [Tue, 09 Apr 2013 20:34:15 +0200] rev 51664

public Isabelle_Process.xml_cache (thread-safe); cache derived status messages;

wenzelm [Tue, 09 Apr 2013 20:27:27 +0200] rev 51663

tuned signature;

isabelle