[isabelle-dev] Jenkins maintenance

Lawrence Paulson lp15 at cam.ac.uk
Thu Oct 6 15:36:23 CEST 2016


I don’t agree with this point at all. Fixing the errors is easy but locating them certainly isn’t. I’m happy as long as somebody else is willing to do that.
Larry

> On 6 Oct 2016, at 14:02, Makarius <makarius at sketis.net> wrote:
> 
>  * A broken Latex document is easy to repair.




More information about the isabelle-dev mailing list