On 03/08/2012, at 7:02 AM, Makarius <makar...@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. Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
