Diffusion Isabelle 08b950ca0313

tuned signature;
08b950ca0313
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE1cebb0ca6d86: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE08b950ca0313: tuned signature;.Nov 10 2022, 11:17 AM

Changes (3)

Path

Size

src/

Pure/

GUI/

Tools/

jEdit/

src/

jedit_sessions.scala

jedit_spell_checker.scala

rISABELLE08b950ca0313

src/Pure/GUI/gui.scala

Loading...

src/Tools/jEdit/src/jedit_sessions.scala

Loading...

src/Tools/jEdit/src/jedit_spell_checker.scala

Loading...