Diffusion Isabelle 728da67527b9

detect arm64-linux platform;
728da67527b9
Actions

Tags

None

Subscribers

None

Description

detect arm64-linux platform;

Details

Provenance

Authored on

Parents

rISABELLE4195e75a92ef: [mirabelle] add initial documentation in Sledgehammer's doc

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE728da67527b9: detect arm64-linux platform;.Sep 30 2020, 3:20 PM

Changes (2)

Path

Size

lib/

scripts/

isabelle-platform

src/

Pure/

System/

rISABELLE728da67527b9

lib/scripts/isabelle-platform

Loading...

src/Pure/System/platform.scala

Loading...