clarified signature;
4da5cdaa4dcd
Actions

Description

clarified signature;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

General/

System/

Thy/

Tools/

jEdit/

src/

rISABELLE4da5cdaa4dcd

src/Pure/General/word.scala

src/Pure/System/options.scala

src/Pure/Thy/bibtex.scala

src/Tools/jEdit/src/document_dockable.scala

src/Tools/jEdit/src/jedit_sessions.scala

src/Tools/jEdit/src/symbols_dockable.scala

clarified signature;4da5cdaa4dcdActions

Description

Details

Changes (6)

rISABELLE4da5cdaa4dcd

src/Pure/General/word.scala

src/Pure/System/options.scala

src/Pure/Thy/bibtex.scala

src/Tools/jEdit/src/document_dockable.scala

src/Tools/jEdit/src/jedit_sessions.scala

src/Tools/jEdit/src/symbols_dockable.scala

clarified signature;
4da5cdaa4dcd
Actions