Diffusion Isabelle 769e850bb1d7

prefer symbolic build_history_base_arm;
769e850bb1d7
Actions

Tags

None

Subscribers

None

Description

prefer symbolic build_history_base_arm;

Details

Provenance

Authored on

Parents

rISABELLE778831a801e3: build_history: proper support for ISABELLE_APPLE_PLATFORM64;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE769e850bb1d7: prefer symbolic build_history_base_arm;.Sun, Nov 19, 8:45 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE769e850bb1d7

.hgtags

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...