Diffusion Isabelle 775baca8cc8a

clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;
775baca8cc8a
Actions

Tags

None

Subscribers

None

Description

clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;

Details

Provenance

Authored on

Parents

rISABELLE064566bc1f35: clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE775baca8cc8a: clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;.Feb 6 2023, 10:30 AM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

Setup/

src/

rISABELLE775baca8cc8a

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/Setup/src/Build.java

Loading...