Diffusion Isabelle 6a835635fa93

disable lrzcloud1 -- superseded by lrzcloud2;
6a835635fa93
Actions

Tags

None

Subscribers

None

Description

disable lrzcloud1 -- superseded by lrzcloud2;

Details

Provenance

Authored on

Parents

rISABELLE36283f21635c: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE6a835635fa93: disable lrzcloud1 -- superseded by lrzcloud2;.Sep 25 2019, 7:40 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE6a835635fa93

src/Pure/Admin/isabelle_cronjob.scala

Loading...