[isabelle-dev] isabelle jedit -l HOL fails

Clemens Ballarin ballarin at in.tum.de
Tue Oct 1 23:12:02 CEST 2013

Quoting Lars Noschinski <noschinl at in.tum.de>:

> 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.


More information about the isabelle-dev mailing list