Diffusion Isabelle ca6a3ea1f7c4

discontinued old platforms;
ca6a3ea1f7c4
Actions

Tags

None

Subscribers

None

Description

discontinued old platforms;

Details

Provenance

Authored on

Parents

rISABELLE5bf00b1dd7d8: more standard Value.print_time;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEca6a3ea1f7c4: discontinued old platforms;.Oct 15 2020, 4:13 PM

Changes (2)

Path

Size

Admin/

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEca6a3ea1f7c4

Admin/PLATFORMS

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...