Diffusion Isabelle 42bc8ab751c1

clarified modules: more official Sessions.notable_groups;
42bc8ab751c1
Actions

Tags

None

Subscribers

None

Description

clarified modules: more official Sessions.notable_groups;

Details

Provenance

Authored on

Parents

rISABELLEf8d7df38d7c6: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups;.Mar 28 2024, 4:27 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_status.scala

Build/

rISABELLE42bc8ab751c1

src/Pure/Admin/afp.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...

src/Pure/Build/sessions.scala

Loading...