src/Tools/jEdit/src/raw_output_dockable.scala
2011-08-19 wenzelm 2011-08-19 editable raw text areas: allow user to clear content;
2011-07-09 wenzelm 2011-07-09 echo prover input via raw_messages, for improved protocol tracing;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;