Stream: General

Topic: Automatic indentation

view this post on Zulip 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: Aug 15 2022 at 02:13 UTC