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