Diffusion Isabelle d24a8cea343b

proper Windows 32bit platform;
d24a8cea343b
Actions

Tags

None

Subscribers

None

Description

proper Windows 32bit platform;

Details

Provenance

Authored on

Parents

rISABELLE3cc6aa405858: clarified "isabelle logo", after discontinuation of DVI output (see…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd24a8cea343b: proper Windows 32bit platform;.Sep 28 2020, 2:55 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEd24a8cea343b

src/Pure/Admin/isabelle_cronjob.scala

Loading...