Re: [isabelle] jEdit apparantly proves False

On Wed, 20 Nov 2013, Christoph Feller wrote:

I just wanted to add that I migrated to Isabelle/JEdit recently (with Isabelle 2013-1) and I was rather confused by this behaviour, too.

The behaviour is definitely bad.  I still need to investigate it further.

So far I can only declare the extra-long testing phase before the Isabelle2013-1 release a failure. Instead of spending several weeks myself in an alert situation to make sure that all goes well, I went on vacation in the middle of the process.

Problem reports then came in right after official lift-off, as was already the tendency in the last 2 or 3 times.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.