Diffusion Isabelle 89274adb0ebe

more tests;
89274adb0ebe
Actions

Tags

None

Subscribers

None

Description

more tests;

Details

Provenance

Authored on

Parents

rISABELLE004b39bf06a5: clarified exploration of history: more uniform options;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE89274adb0ebe: more tests;.Sun, Nov 5, 7:55 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE89274adb0ebe

src/Pure/Admin/isabelle_cronjob.scala

Loading...