src/Tools/jEdit/src/html_panel.scala
2011-07-05 wenzelm 2011-07-05 Path.split convenience;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-30 wenzelm 2011-06-30 prefer Isabelle path algebra;
2011-06-25 wenzelm 2011-06-25 clarified Markup.CLASS vs. HTML.CLASS;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-19 wenzelm 2011-06-19 some unicode chars for special control symbols;
2011-06-18 wenzelm 2011-06-18 tuned -- Map.empty serves as partial function;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;