Ant S. (Apr 30 2026 at 09:46): Ant S. (Apr 30 2026 at 09:46):similar to Ctrl/Cmd+Shift+A in VSCode, is there an automatic format feature in jEdit?
Ant S. (Apr 30 2026 at 09:59):https://github.com/isabelle-prover/isabelle-linter
Im guessing it's this
Mathias Fleury (Apr 30 2026 at 15:11):select all and indent?
Ant S. (Apr 30 2026 at 15:12):Doesn't that sound like it just indents code, rather than formatting it. Sort of like scalafmt
Last updated: May 05 2026 at 02:56 UTC