Diffusion Isabelle eb114301c4df

clarified signature: prefer semantic status;
eb114301c4df
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer semantic status;

Details

Provenance

Authored on

Parents

rISABELLEde618831ffd9: removed obsolete parameter (see 7c23db6b857b);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEeb114301c4df: clarified signature: prefer semantic status;.Jan 31 2023, 2:37 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLEeb114301c4df

src/Tools/jEdit/src/document_dockable.scala

Loading...