Diffusion Isabelle 59a8b9a341aa

proper program name, e.g. for session "Intro";
59a8b9a341aa
Actions

Tags

None

Subscribers

None

Description

proper program name, e.g. for session "Intro";

Details

Provenance

Authored on

Parents

rISABELLEc0633a0da53e: clarified GUI events: reset everything on session context switch;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE59a8b9a341aa: proper program name, e.g. for session "Intro";.Jan 31 2023, 7:43 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE59a8b9a341aa

src/Pure/System/progress.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...