tuned --- based on hints by IntelliJ IDEA;
c13198575f75
Actions

Description

tuned --- based on hints by IntelliJ IDEA;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

System/

Tools/

jEdit/

jedit_main/

src/

rISABELLEc13198575f75

src/Pure/System/getopts.scala

src/Tools/jEdit/jedit_main/isabelle_sidekick.scala

src/Tools/jEdit/jedit_main/scala_console.scala

src/Tools/jEdit/src/main.scala

src/Tools/jEdit/src/main_plugin.scala

tuned --- based on hints by IntelliJ IDEA;c13198575f75Actions

Description

Details

Changes (5)

rISABELLEc13198575f75

src/Pure/System/getopts.scala

src/Tools/jEdit/jedit_main/isabelle_sidekick.scala

src/Tools/jEdit/jedit_main/scala_console.scala

src/Tools/jEdit/src/main.scala

src/Tools/jEdit/src/main_plugin.scala

tuned --- based on hints by IntelliJ IDEA;
c13198575f75
Actions