Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

Added contributors

Changeset 72495:b5f7fc7d2323 by desharna: Added contributors
The file was modified	`CONTRIBUTORS`