Diffusion Isabelle 98dca728fc9c

removed pointless option "ML_statistics": always enabled;
98dca728fc9c
Actions

Tags

None

Subscribers

None

Description

removed pointless option "ML_statistics": always enabled;

Details

Provenance

Authored on

Parents

rISABELLEf67e83608745: removed pointless GUI controls for ML_statistics --- no longer part of prover…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE98dca728fc9c: removed pointless option "ML_statistics": always enabled;.Aug 12 2020, 11:26 AM

Changes (4)

Path

Size

etc/

src/

Pure/

ML/

ml_statistics.scala

Tools/

rISABELLE98dca728fc9c

etc/options

Loading...

src/Pure/ML/ml_statistics.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/dump.scala

Loading...