[isabelle-dev] Unexpected auto indent in 13a1081961d2

[Florian Haftmann]

>> 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,
> jedit_indent_script, jedit_indent_script_limit?
> 
> There is also a section about "Indentation" in the Isabelle/jEdit plugin
> options dialog.
> 
> 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.

Deleting $ISABELLE_HOME_USER/etc/jedit worked, thanks.

	Florian

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170903/5207229d/attachment.sig>