Diffusion Isabelle 080422b3d914

clarified signature: reduce boilerplate;
080422b3d914
Actions

Tags

None

Subscribers

None

Description

clarified signature: reduce boilerplate;

Details

Provenance

Authored on

Parents

rISABELLEae6df8a8685a: clarified messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE080422b3d914: clarified signature: reduce boilerplate;.Mar 6 2023, 9:12 PM

Changes (9)

Path

Size

src/

Pure/

Admin/

build_log.scala

isabelle_cronjob.scala

General/

System/

Thy/

document_build.scala

Tools/

build_process.scala

rISABELLE080422b3d914

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/isabelle_cronjob.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...