[isabelle-dev] NEWS: Isabelle sessions and build management

Gerwin Klein gerwin.klein at nicta.com.au
Fri Aug 3 01:23:20 CEST 2012

On 03/08/2012, at 7:02 AM, Makarius <makarius at sketis.net> wrote:

> On Thu, 2 Aug 2012, Makarius wrote:
>> On Thu, 2 Aug 2012, Gerwin Klein wrote:
>>> LighweightJava is a worrisome example, because it needs an external tool to generate the sources which in the meantime have been updated manually during maintenance, despite multiple rather prominent warnings of the form:
>> BTW, I did send an email to Rok in March 2011, including some hints how Ott needs to be updated to work with newer versions of Isabelle.  He said "I will inform the Ott team of this, so they can make appropriate updates", which was also the last I've heard from him.
> According to http://www.cl.cam.ac.uk/~pes20/ott/ there seems to be little recent activity.  The last update was for Isabelle2011 (January 2011).
> Our edits are not so much, but essential: updating 'type_synonym' and having 'a set back.
> I would consider the case closed.  Just keep the edited file, and continue maintaining it as before.

I'm happy with that for now. This was going to happen eventually.


More information about the isabelle-dev mailing list