Diffusion Isabelle ced6e3c03425

more visual emphasis on node status;
ced6e3c03425
Actions

Tags

None

Subscribers

None

Description

more visual emphasis on node status;

Details

Provenance

Authored on

Parents

rISABELLEf46e9f75b7d5: more word cleanup

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEced6e3c03425: more visual emphasis on node status;.Jun 25 2021, 12:32 PM

Changes (2)

Path

Size

src/

Tools/

jEdit/

etc/

src/

theories_dockable.scala

rISABELLEced6e3c03425

src/Tools/jEdit/etc/options

Loading...

src/Tools/jEdit/src/theories_dockable.scala

Loading...