Re: [isabelle-dev] Unexpected auto indent in 13a1081961d2

2017-09-03 Thread 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

Re: [isabelle-dev] Unexpected auto indent in 13a1081961d2

2017-09-03 Thread 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 change

[isabelle-dev] Unexpected auto indent in 13a1081961d2

2017-09-03 Thread Florian Haftmann
Dear all, 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? Cheers, Florian -- PGP available: http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_