Diffusion Isabelle f3409ced4df2

more complete dockables;
f3409ced4df2
Actions

Tags

None

Subscribers

None

Description

more complete dockables;

Details

Provenance

Authored on

Parents

rISABELLEde82b1251971: more robust (see 4d91b6d5d49c);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf3409ced4df2: more complete dockables;.Jul 15 2021, 9:21 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

jedit_main/

dockables.scala

rISABELLEf3409ced4df2

src/Tools/jEdit/jedit_main/dockables.scala

Loading...