Yes to both. --lcp
> On 12 Jun 2014, at 10:52, Jasmin Christian Blanchette > <jasmin.blanche...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
