Tue, 11 May 2021 11:17:27 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
Mon, 10 May 2021 22:18:12 +0200 | wenzelm | put more resources into jedit_build component; | file | diff | annotate |
Mon, 10 May 2021 12:23:30 +0200 | wenzelm | build auxiliary jEdit component in Isabelle/Scala; | file | diff | annotate |