Diffusion Isabelle 4a46650bf701

clarified order for GUI;
4a46650bf701
Actions

Tags

None

Subscribers

None

Description

clarified order for GUI;

Details

Provenance

Authored on

Parents

rISABELLE6e8b5cdd4ba0: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4a46650bf701: clarified order for GUI;.Aug 13 2020, 12:38 PM

Changes (1)

Path

Size

src/

Pure/

ML/

ml_statistics.scala

rISABELLE4a46650bf701

src/Pure/ML/ml_statistics.scala

Loading...