clarified signature: prefer Database_Context;
b5e6f0d137a7
Actions

Description

clarified signature: prefer Database_Context;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

Admin/

Thy/

Tools/

rISABELLEb5e6f0d137a7

src/Pure/Admin/build_doc.scala

src/Pure/Thy/export.scala

src/Pure/Thy/presentation.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build.scala

src/Pure/Tools/build_job.scala

clarified signature: prefer Database_Context;b5e6f0d137a7Actions

Description

Details

Changes (6)

rISABELLEb5e6f0d137a7

src/Pure/Admin/build_doc.scala

src/Pure/Thy/export.scala

src/Pure/Thy/presentation.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build.scala

src/Pure/Tools/build_job.scala

clarified signature: prefer Database_Context;
b5e6f0d137a7
Actions