Diffusion Isabelle f8f065e20837

misc tuning and clarification: more explicit types Release_Context…
f8f065e20837
Actions

Tags

None

Subscribers

None

Description

misc tuning and clarification: more explicit types Release_Context, Release_Archive;

Details

Provenance

Authored on

Parents

rISABELLEf033d4f661e9: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf8f065e20837: misc tuning and clarification: more explicit types Release_Context….May 4 2021, 8:02 PM

makarius mentioned this in rISABELLE96879e303ea3: clarified modules (again, in contrast to f8f065e20837);.Jan 22 2023, 10:29 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_release.scala

isabelle_cronjob.scala

isabelle_devel.scala

other_isabelle.scala

rISABELLEf8f065e20837

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/Admin/isabelle_devel.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...