Diffusion Isabelle 985c3a64748c

clarified signature: more uniform treatment of empty exports;
985c3a64748c
Actions

Tags

None

Subscribers

None

Description

clarified signature: more uniform treatment of empty exports;

Details

Provenance

Authored on

Parents

rISABELLE2a0051496844: clarified session name: treat PIDE session as Sessions.DRAFT with imports from…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE985c3a64748c: clarified signature: more uniform treatment of empty exports;.Aug 5 2022, 1:43 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

build_job.scala

rISABELLE985c3a64748c

src/Pure/Thy/export.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...