[isabelle-dev] Unexpected auto indent in 13a1081961d2
makarius at sketis.net
Sun Sep 3 16:18:17 CEST 2017
On 03/09/17 16:08, Florian Haftmann wrote:
> the attached theory is the (unexpected) result of typing its content
> naively and relying on auto indent.
> Do others experience the same or is it maybe a settings problem?
Can you check $ISABELLE_HOME_USER/etc/preferences if there are any
changes on jedit_indent_input, jedit_indent_newline,
There is also a section about "Indentation" in the Isabelle/jEdit plugin
Basically everything should be set to the defaults for the best
experience, although there are sometimes old habits to overcome as usual.
You can also try http://isabelle.in.tum.de/website-Isabelle2017-RC1 with
its fresh environment.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev