Diffusion Isabelle e25c0a6cc335

detect/guess arm32 platform (unsupported);
e25c0a6cc335
Actions

Tags

None

Subscribers

None

Description

detect/guess arm32 platform (unsupported);

Details

Provenance

Authored on

Parents

rISABELLE694d0a315d0a: build component according to "isabelle build_e -V 2.5" (inactive);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe25c0a6cc335: detect/guess arm32 platform (unsupported);.Oct 3 2020, 7:56 PM

Changes (2)

Path

Size

lib/

scripts/

isabelle-platform

src/

Pure/

System/

rISABELLEe25c0a6cc335

lib/scripts/isabelle-platform

Loading...

src/Pure/System/platform.scala

Loading...