Diffusion Isabelle 2f43be96c713

removed unused operation from 3f50b24909df;
2f43be96c713
Actions

Tags

None

Subscribers

None

Description

removed unused operation from 3f50b24909df;

Details

Provenance

Authored on

Parents

rISABELLE286fdf0fcc44: clarified guard: avoid spurious auto builds;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2f43be96c713: removed unused operation from 3f50b24909df;.Jan 31 2023, 5:08 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE2f43be96c713

src/Tools/jEdit/src/document_dockable.scala

Loading...