Diffusion Isabelle 139a0119ae3c

clarified operation (without change of signature!);
139a0119ae3c
Actions

Tags

None

Subscribers

None

Description

clarified operation (without change of signature!);

Details

Provenance

Authored on

Parents

rISABELLE79231a210f5d: observe option "show_states" in headless server (see also 951abf9db857);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE139a0119ae3c: clarified operation (without change of signature!);.Jan 30 2023, 4:20 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE139a0119ae3c

src/Pure/PIDE/editor.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...