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
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: --
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 balla...@in.tum.de schrieb:
After updating the repository today (and a seemingly good run of
'isabelle
