Diffusion Isabelle ad7ac7948d57

move virtual machine node;
ad7ac7948d57
Actions

Tags

None

Subscribers

None

Description

move virtual machine node;

Details

Provenance

Authored on

Parents

rISABELLEe4e05fcd8937: generalized

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEad7ac7948d57: move virtual machine node;.Apr 16 2020, 6:41 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEad7ac7948d57

src/Pure/Admin/isabelle_cronjob.scala

Loading...