Diffusion Isabelle 24e951a8a318

tuned: more robust Scala syntax;
24e951a8a318
Actions

Tags

None

Subscribers

None

Description

tuned: more robust Scala syntax;

Details

Provenance

Authored on

Parents

rISABELLE2c0f252fb11c: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE24e951a8a318: tuned: more robust Scala syntax;.Oct 22 2022, 9:20 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

isabelle_cronjob.scala

rISABELLE24e951a8a318

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...