Diffusion Isabelle 60b963d8fc3c

clarified layout;
60b963d8fc3c
Actions

Tags

None

Subscribers

None

Description

clarified layout;

Details

Provenance

Authored on

Parents

rISABELLEa9d52d02bd83: clarified node_required status: distinguish theory_required vs.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE60b963d8fc3c: clarified layout;.Nov 7 2022, 9:51 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

theories_dockable.scala

rISABELLE60b963d8fc3c

src/Tools/jEdit/src/theories_dockable.scala

Loading...