[isabelle-dev] Unexpected auto indent in 13a1081961d2

[Makarius]

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,
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.


	Makarius

-------------- 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/c7329f8a/attachment.sig>