src/Tools/jEdit/src/isabelle_encoding.scala
2016-03-06 wenzelm 2016-03-06 tuned signature;
2016-01-08 wenzelm 2016-01-08 clarified symbol insertion, depending on buffer encoding;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-07-17 wenzelm 2012-07-17 tuned imports;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-22 wenzelm 2011-06-22 prefer actual charset over charset name;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;