Dear all,
with the current repo head (changeset fe43977e434f) I obtain the
following error when trying to start jEdit (after a successful ./build
-b HOL):
### Building Isabelle/jEdit ...
Changed files:
src/isabelle_sidekick.scala
src/isabelle_sidekick.scala:109: error: trait ListCellRenderer takes
type parameters
new ListCellRenderer {
^
src/isabelle_sidekick.scala:113: error: class JList takes type parameters
list: JList, value: Any, index: Int,
^
src/isabelle_sidekick.scala:109: error: type mismatch;
found : AnyRef{}
required: javax.swing.ListCellRenderer[?>: Nothing <: Any]
new ListCellRenderer {
^
three errors found
Is this related to the recent change from Java 1.7 to 1.6? In other
words, should I locally fall back to Java 1.6 when using the development
repository?
cheers
chris
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
