[isabelle-dev] Build NEWS

Lars Hupel hupel at in.tum.de
Mon Jun 13 19:29:43 CEST 2016

> Is there any consolidated documentation »How to test changesets
> before contributing« or the like?  I must confess that I don't even
> know where to push changesets to, it is somewhere buried in my
> mailbox.

See my original mail:

> * As pointed out by Larry, navigation on the Jenkins pages is a
> pain. I've revamped the status page with helpful links to the build 
> outputs of the various jobs and instructions on how to use the
> testboard:
>   <https://ci.isabelle.systems/status/>

More information about the isabelle-dev mailing list