Diffusion Isabelle 93abe74fe16f

tuned signature: fewer warnings in IntelliJ IDEA;
93abe74fe16f
Actions

Tags

None

Subscribers

None

Description

tuned signature: fewer warnings in IntelliJ IDEA;

Details

Provenance

Authored on

Parents

rISABELLEbd250213c262: unused (see also 004b39bf06a5);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE93abe74fe16f: tuned signature: fewer warnings in IntelliJ IDEA;.Sun, Nov 19, 12:52 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE93abe74fe16f

src/Pure/Admin/isabelle_cronjob.scala

Loading...