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
Manuel Eberl (May 08 2026 at 15:51):So what kind of features would you like other than indentation? Consistent use of spaces? Breaking lines that are too long?
To my knowledge there is nothing like that (beyond the auto-indentation in Isabelle/jEdit). Any tool that does this would probably have to be tightly integrated with Isabelle as well to properly handle things like nested comments and custom syntax.
Last updated: Jun 06 2026 at 17:17 UTC