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

Support Isabelle 2013 #12

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Isabelle 2013 has been released: update Isabelle/Eclipse to support it.

andriusvelykis commented 11 years ago

Supporting Isabelle 2013 (only!) as of c456f6a9891c1a8019184a53a5e1d888988397b4