Git Build Data
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9dRepository: https://github.com/isabelle-prover/isabelle-context-build.git
- refs/remotes/origin/master
Built Branches
- refs/remotes/origin/master: Build #347 of Revision 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d (refs/remotes/origin/master)