Infrastructure status
All systems operational.
Overview
Status
| Isabelle+AFP repositories |
 |
| Isabelle+AFP repositories (distributed) |
 |
Testboards
The testboard repositories can be used to try out experimental changes.
Usage
It is expected to force-push to the testboard repositories, but please be careful that you do not force-push to the actual repositories.
| Isabelle testboard |
hg push -f ssh://isabelle-server.in.tum.de//home/isabelle-repository/repos/testboard |
| AFP testboard |
hg push -f ssh://hg@foss.heptapod.net/isa-afp/afp-testboard |
Status
| Isabelle testboard |
 |
| AFP testboard |
 |
Load
