Oracle reminds us that the Isabelle graph browser is really ancient:
warning: [options] source value 1.4 is obsolete and will be removed in a future
release
warning: [options] target value 1.4 is obsolete and will be removed in a future
release
Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
I've made a quick try with IntelliJ or Netbeans to brush up these Java 1.1
sources, but there were so many warnings about old, obsolete, deprecated,
legacy features in the code that I stopped that pathetic attempt.
This would be a good time for another effort to get the Scala Graph_View
into proper shape, but I am myself too busy on too many fronts.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
