isabelle: File revisions

src/Tools/jEdit/src/jedit/output_dockable.scala

Fri, 01 Jan 2010 17:29:35 +0100	wenzelm	renamed current_document to recent_document (might be a bit older than current_change);	file \| diff \| annotate
Wed, 16 Dec 2009 21:11:04 +0100	wenzelm	explicit object Session.Global_Settings;	file \| diff \| annotate
Tue, 15 Dec 2009 20:44:59 +0100	wenzelm	some explicit Swing_Thread guards;	file \| diff \| annotate
Tue, 15 Dec 2009 20:20:07 +0100	wenzelm	direct apply for Document_Model and Document_View;	file \| diff \| annotate
Tue, 15 Dec 2009 19:50:55 +0100	wenzelm	split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);	file \| diff \| annotate
Thu, 10 Dec 2009 22:15:19 +0100	wenzelm	class Session models full session, with or without prover process (cf. heaps, browser_info);	file \| diff \| annotate
Thu, 10 Dec 2009 14:14:49 +0100	wenzelm	basic setup for HTML_Panel event handling;	file \| diff \| annotate
Tue, 08 Dec 2009 23:45:42 +0100	wenzelm	renamed "raw output" to "protocol";	file \| diff \| annotate \| base

isabelle