Project isabelle-all

Full build of Isabelle and the AFP, without slow sessions.
Disk Usage
Directory iconJob301 GB
Directory iconAll builds301 GB
Directory iconLocked builds-
Directory iconAll workspaces36 GB
Directory iconSlave workspaces36 GB
Directory iconNon-slave workspaces-