Diffusion Isabelle 1cc630940147

proper default for Sledgehammer GUI panel;
1cc630940147
Actions

Tags

None

Subscribers

None

Description

proper default for Sledgehammer GUI panel;

Details

Provenance

Authored on

Parents

rISABELLEba880f3a4e52: tuned antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1cc630940147: proper default for Sledgehammer GUI panel;.Sep 28 2021, 5:12 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

etc/

rISABELLE1cc630940147

src/HOL/Tools/etc/options

Loading...