| Thu, 15 May 2025 22:55:29 +0200 | wenzelm | explicit support for dark GUI themes in Isabelle/jEdit; | file | diff | annotate |
| Wed, 02 Oct 2024 10:51:11 +0200 | Fabian Huch | clarified: add operation; | file | diff | annotate |
| Wed, 12 Jun 2024 20:44:10 +0200 | Thomas Lindae | added vscode options tag; | file | diff | annotate |