Git Build Data
Revision: c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0dRepository: https://github.com/isabelle-prover/isabelle-tools-collection.git
- refs/remotes/origin/master
Built Branches
- refs/remotes/origin/master: Build #849 of Revision c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d (refs/remotes/origin/master)