Diffusion Isabelle 9d9b30741fc4

tuned signature: reduce boilerplate;
9d9b30741fc4
Actions

Tags

None

Subscribers

None

Description

tuned signature: reduce boilerplate;

Details

Provenance

Authored on

Parents

rISABELLEc537905c2125: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9d9b30741fc4: tuned signature: reduce boilerplate;.Mar 6 2023, 3:38 PM

makarius mentioned this in rISABELLE28c930aefb28: proper stmt.execute() within loop (amending 9d9b30741fc4);.Apr 9 2023, 7:11 PM

Changes (8)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

System/

Thy/

document_build.scala

Tools/

build_process.scala

rISABELLE9d9b30741fc4

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/sql.scala

Loading...

src/Pure/System/host.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...

src/Pure/Tools/server.scala

Loading...