src/Tools/jEdit/jedit_main/scala_console.scala
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Sat, 17 Jul 2021 23:09:54 +0200 wenzelm tuned --- based on hints by IntelliJ IDEA;
Fri, 16 Jul 2021 22:25:50 +0200 wenzelm more robust: for the sake of Isabelle.app on macOS;
less more (0) tip