On Tue, 1 Oct 2013, Clemens Ballarin wrote:
I'm still on MacOSX 10.6.8 Snow Leopard.
That is now getting very old. Isabelle2013-1 will probably be the last
release that still supports it (partially) -- and since I don't have easy
local access to Snow Leopard, I can't even test that directly
Quoting Lars Noschinski :
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
_
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.
Clemens Ballarin schrieb:
>After updating the repository today (and a seemingly good run of
>'isabelle components -a'
After updating the repository today (and a seemingly good run of
'isabelle components -a') 'isabelle jedit -l HOL' gives me
2013-10-01 20:42:22.345 java[35294:903] *** NSInvocation: warning:
object 0x10ad24390 of class 'ThreadUtilities' does not implement
methodSignatureForSelector: -- trou