src/Tools/jEdit/src/isabelle_options.scala
2011-08-07 wenzelm 2011-08-07 workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;