Diffusion Isabelle a5eb407ec867

clarified tests: omit somewhat pointless (unstable) results;
a5eb407ec867
Actions

Tags

None

Subscribers

None

Description

clarified tests: omit somewhat pointless (unstable) results;

Details

Provenance

Authored on

Parents

rISABELLE014141670774: proper fields for gnuplot (amending b614e3e4146a);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa5eb407ec867: clarified tests: omit somewhat pointless (unstable) results;.Nov 27 2021, 2:55 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEa5eb407ec867

src/Pure/Admin/isabelle_cronjob.scala

Loading...