src/Tools/jEdit/src/scala_console.scala
2011-11-18 wenzelm 2011-11-18 tuned message;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
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;