Skip to content

Updated suggested emacs indendation configuration

Jonas Kastberg requested to merge jihgfee/iris-coq:indentations into master

The currently suggested indentation configuration for does not give the wanted indentations for newer version of proof-general.

For instance is no longer used, as it would indent statements as follows in newer versions of proof-general:

  P *
    Q

We now rather use ->, which indents them in the same way across versions:

  P *
  Q

EDIT: Typo

Edited by Ralf Jung

Merge request reports