Tue, 15 Dec 2009 19:53:35 +0100 merged
wenzelm [Tue, 15 Dec 2009 19:53:35 +0100] rev 34786
merged
Tue, 15 Dec 2009 13:39:30 +0100 Cobra version;
wenzelm [Tue, 15 Dec 2009 13:39:30 +0100] rev 34785
Cobra version;
Tue, 15 Dec 2009 19:50:55 +0100 split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
wenzelm [Tue, 15 Dec 2009 19:50:55 +0100] rev 34784
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); incorporate Document_Overview into Document_View; eliminated Plugin.mapping in favour of direct association via generic properties; support several views per model; misc tuning;
Tue, 15 Dec 2009 11:38:01 +0100 clarified BufferListener: use adapter, listen to contentInserted instead of preContentInserted;
wenzelm [Tue, 15 Dec 2009 11:38:01 +0100] rev 34783
clarified BufferListener: use adapter, listen to contentInserted instead of preContentInserted;
Tue, 15 Dec 2009 00:21:21 +0100 refined treatment of default logic concerning property and GUI;
wenzelm [Tue, 15 Dec 2009 00:21:21 +0100] rev 34782
refined treatment of default logic concerning property and GUI;
Fri, 11 Dec 2009 23:38:14 +0100 handle "default" logic;
wenzelm [Fri, 11 Dec 2009 23:38:14 +0100] rev 34781
handle "default" logic;
Fri, 11 Dec 2009 23:29:18 +0100 more serious command line handling;
wenzelm [Fri, 11 Dec 2009 23:29:18 +0100] rev 34780
more serious command line handling;
Fri, 11 Dec 2009 22:40:55 +0100 proper uninstall;
wenzelm [Fri, 11 Dec 2009 22:40:55 +0100] rev 34779
proper uninstall;
Fri, 11 Dec 2009 22:25:28 +0100 removed unused Session.prover_logic;
wenzelm [Fri, 11 Dec 2009 22:25:28 +0100] rev 34778
removed unused Session.prover_logic; slightly more robust Session.start/stop; added Session.create_id (formerly in Isabelle_System); Change/Command/Proof_Document: uniform id value, not implicity creation; eliminated Proof_Document.is_command_keyword -- plain method via explicit session;
Thu, 10 Dec 2009 22:15:19 +0100 class Session models full session, with or without prover process (cf. heaps, browser_info);
wenzelm [Thu, 10 Dec 2009 22:15:19 +0100] rev 34777
class Session models full session, with or without prover process (cf. heaps, browser_info); replaced Prover by Session, with a singleton instance in Isabelle plugin (shared by all active buffers); misc cleanup of Session vs. Plugin instance; eliminated Prover_Setup -- maintain mapping of JEditBuffer <-> Theory_View directly; misc tuning and simplification;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip