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 Isabelle2013-1 #82

Open andriusvelykis opened 10 years ago

andriusvelykis commented 10 years ago

Isabelle2013-1 has been released. Upgrade Isabelle/Eclipse to support it.

andriusvelykis commented 10 years ago

Due to writing-up my PhD thesis, the Isabelle/Eclipse support for Isabelle2013-1 is not yet available and is likely to be delayed until early next year.

simondfoster commented 10 years ago

Hi Andrius. Hope PhD writing is going well. Have you had a chance to take a look at what sort of changes would need to be made to support Isabelle2013-*? Has the protocol changed?

andriusvelykis commented 10 years ago

Hi Simon - sorry for the delay. Sadly, the PhD is not advancing as fast as I hoped. I haven't run Isabelle/Eclipse with Isabelle2013-*, so I actually have no idea if/how well it would work. Let me check next week - maybe I will do an upgrade :)

simondfoster commented 10 years ago

No problem Andrius, write up is a very busy time.