[isabelle-dev] AFP failures near 7f7ca3a43026
lp15 at cam.ac.uk
Thu Jun 12 13:33:43 CEST 2014
Yes to both.
> On 12 Jun 2014, at 10:52, Jasmin Christian Blanchette <jasmin.blanchette at gmail.com> wrote:
Or a "has this entry ever worked" or even a date indicating when the entry last succeeded.
> So here's a new suggestion: When new entries are failing for the first or second time, we should perhaps each time start a mini-thread on isabelle-dev to synchronize on who looks into it.
More information about the isabelle-dev