Diffusion Isabelle 97f12d2c8bf2

use alternative server: https://isabelle.in.tum.de/components is down;
97f12d2c8bf2
Actions

Tags

None

Subscribers

None

Description

use alternative server: https://isabelle.in.tum.de/components is down;

Details

Provenance

Authored on

Parents

rISABELLE8f6df3fa7f72: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE97f12d2c8bf2: use alternative server: https://isabelle.in.tum.de/components is down;.Nov 1 2020, 6:24 PM

Changes (1)

Path

Size

etc/

rISABELLE97f12d2c8bf2

etc/settings

Loading...