Diffusion Isabelle 004b39bf06a5

clarified exploration of history: more uniform options;
004b39bf06a5
Actions

Tags

None

Subscribers

None

Description

clarified exploration of history: more uniform options;

Details

Provenance

Authored on

Parents

rISABELLE635b84f1914a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE004b39bf06a5: clarified exploration of history: more uniform options;.Sun, Nov 5, 7:40 PM

makarius mentioned this in rISABELLEbd250213c262: unused (see also 004b39bf06a5);.Sun, Nov 19, 1:07 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE004b39bf06a5

src/Pure/Admin/isabelle_cronjob.scala

Loading...