>> 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev