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

Update to Isabelle2012 #1

Closed andriusvelykis closed 12 years ago

andriusvelykis commented 12 years ago

Isabelle/Scala API has changed in Isabelle2012: update Isabelle/Eclipse to support that.

Currently only supporting Isabelle2011-1. Pure/PIDE source code from Isabelle2012 introduces a number of compilation errors.

andriusvelykis commented 12 years ago

Compiling and building with Isabelle2012 Scala API now (using Eclipse Juno & Scala IDE nightly with Scala 2.9.3).

Everything looks to be working. Closing the issue - new things arising will be filed as separate more specific issues.