Diffusion Isabelle 7c7a59b76528

recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);
7c7a59b76528
Actions

Tags

None

Subscribers

None

Description

recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);

Details

Provenance

Authored on

Parents

rISABELLE08def1cc6b33: avoid perl;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7c7a59b76528: recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);.May 16 2021, 7:37 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE7c7a59b76528

src/Pure/Admin/isabelle_cronjob.scala

Loading...