Quoting Lars Noschinski <[email protected]>:
Try running "jedit -bf", if that does not help, manually remove the build artifacts (I.e. the jar files). Sometimes rebuilding of the Java components doors not work reliably.
Thanks! 'jedit -bf -l HOL' worked. Clemens _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
