isabelle: Changelog

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;

wenzelm [Tue, 09 Apr 2013 20:16:52 +0200] rev 51662

just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;

isabelle