Support Isabelle2013-1 #82

Open
andriusvelykis opened this Issue Nov 13, 2013 · 4 comments

Comments

Projects
None yet
2 participants
@andriusvelykis
Owner

andriusvelykis commented Nov 13, 2013

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

@andriusvelykis

This comment has been minimized.

Show comment
Hide comment
@andriusvelykis

andriusvelykis Nov 13, 2013

Owner

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.

Owner

andriusvelykis commented Nov 13, 2013

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

This comment has been minimized.

Show comment
Hide comment
@simondfoster

simondfoster Apr 3, 2014

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?

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

This comment has been minimized.

Show comment
Hide comment
@andriusvelykis

andriusvelykis Apr 11, 2014

Owner

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 :)

Owner

andriusvelykis commented Apr 11, 2014

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

This comment has been minimized.

Show comment
Hide comment
@simondfoster

simondfoster Apr 11, 2014

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment