Josh Chen (Nov 11 2019 at 11:02): Josh Chen (Nov 11 2019 at 11:02):Can anyone explain the logic behind the Isabelle/jEdit automatic indentation? I've never been able to figure it out and always have it disabled, from my point of view it indents and unindents with no rhyme or reason. If anyone has it happily turned on in their daily work I'd be happy to hear how to use it properly...
Last updated: Dec 21 2024 at 12:33 UTC