Diffusion Isabelle 20a3543ae173

clarified connection parameters;
20a3543ae173
Actions

Tags

None

Subscribers

None

Description

clarified connection parameters;

Details

Provenance

Authored on

Parents

rISABELLE0a6cacf2c143: clarified test;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE20a3543ae173: clarified connection parameters;.Mar 16 2020, 5:03 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE20a3543ae173

src/Pure/Admin/isabelle_cronjob.scala

Loading...