Re: [isabelle] Isabelle2014-RC0 segfault / sledgehammer raises exception DUP



Am 24.07.2014 um 16:47 schrieb Tobias Nipkow <nipkow at in.tum.de>:

> I kept getting a DUP exception the other day.

The issues with MaSh should all be addressed now (cffd1d6ae1e5). If anybody sees anything remotely strange with MaSh in the run-up to Isabelle2014, please report it again.

Jasmin





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