search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Switch workspace fails? #75

Open leouk opened 11 years ago

leouk commented 11 years ago

If you load Isabelle/Eclipse on any workspace different from default one given it fails to load. Under some strange/unpredictable circumstances it might come back and work, but this is flaky. It looks like some issue with Java 6 on the Mac OS though.

andriusvelykis commented 11 years ago

This is a bug in Eclipse: https://bugs.eclipse.org/bugs/show_bug.cgi?id=396552

It appears to be fixed for the next release (4.3 - Eclipse Kepler). Will switch the build to use Kepler when it is released in June.

For now, sadly, no workarounds..