Diffusion Isabelle 96879e303ea3

clarified modules (again, in contrast to f8f065e20837);
96879e303ea3
Actions

Tags

None

Subscribers

None

Description

clarified modules (again, in contrast to f8f065e20837);

Details

Provenance

Authored on

Parents

rISABELLE2f09dc0e6dda: support IPC via database server;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE96879e303ea3: clarified modules (again, in contrast to f8f065e20837);.Jan 22 2023, 9:52 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_release.scala

other_isabelle.scala

rISABELLE96879e303ea3

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...