Diffusion Isabelle 778831a801e3

build_history: proper support for ISABELLE_APPLE_PLATFORM64;
778831a801e3
Actions

Tags

None

Subscribers

None

Description

build_history: proper support for ISABELLE_APPLE_PLATFORM64;

Details

Provenance

Authored on

Parents

rISABELLE39fb869160d6: clarified isabelle_hg (again, see b9d59669904a);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE778831a801e3: build_history: proper support for ISABELLE_APPLE_PLATFORM64;.Sun, Nov 19, 8:41 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE778831a801e3

src/Pure/Admin/isabelle_cronjob.scala

Loading...