src/Tools/jEdit/src/raw_output_dockable.scala
Tue, 06 Sep 2011 11:25:27 +0200 wenzelm more specific message channels to avoid potential bottle-neck of raw_messages;
Fri, 19 Aug 2011 13:55:32 +0200 wenzelm editable raw text areas: allow user to clear content;
Sat, 09 Jul 2011 21:53:27 +0200 wenzelm echo prover input via raw_messages, for improved protocol tracing;
Thu, 23 Jun 2011 14:52:32 +0200 wenzelm explicit import java.lang.System to prevent odd scope problems;
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip