[isabelle-dev] AFP error on testboard

Makarius makarius at sketis.net
Tue Apr 22 14:21:08 CEST 2014

On Mon, 21 Apr 2014, Florian Haftmann wrote:

> http://isabelle.in.tum.de/reports/Isabelle/report/46b09298dc124054957dc1d25ee4fa61

See now

changeset:   4409:1d9135e2d3ed
tag:         tip
user:        wenzelm
date:        Tue Apr 22 13:38:45 2014 +0200
summary:     recovered global integrity of sessions;

Such total failure of existence happens occasionally, when the AFP editors 
push new entries without any sanity check.  In the past, the IsaMakefiles 
would crash late and individually.  Now there is one big structural 
integrity check on session definitions before Isabelle build starts, so if 
that fails there will be no test runs.


More information about the isabelle-dev mailing list