Diffusion Isabelle 2a27d2c8eae8

prefer strict test of system options;
2a27d2c8eae8
Actions

Tags

None

Subscribers

None

Description

prefer strict test of system options;

Details

Provenance

Authored on

Parents

rISABELLE87ac093e4d1a: some build cluster resources at TUM;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2a27d2c8eae8: prefer strict test of system options;.Sat, Nov 11, 9:05 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE2a27d2c8eae8

src/Pure/System/registry.scala

Loading...