Updated suggested emacs indendation configuration

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

changed the description

I am not a proof general user, so I don't have an opinion about this. Waiting for a review from someone who knows proof general.

I am using PG but don't know this indentation configuration magic. :D

But I agree with the example in the PR, we want

P ∗
Q

That is also what we ask Coq to use for formatting. So as long as you agree with this, @robbertkrebbers, I am fine with landing the MR.

Yes, we want

P ∗
Q

instead of

P ∗
  Q

So, @jihgfee can you maybe try to improve the sentence in the docs a bit, then we can merge?

added S-waiting-for-author label

added 63 commits

• bb751786...1414d845 - 62 commits from branch iris:master
• ffc61b83 - Updated suggested indendation configurations

Compare with previous version

added 1 commit

• 1bb9d3f6 - Improved indentation configuration documentation

Compare with previous version

added 1 commit

• f19892d9 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 7962ba3d - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 98e2ee31 - Removed overly-specific indentation rules

Compare with previous version

resolved all threads

added 1 commit

• a975355e - clarify doc

Compare with previous version

resolved all threads

added 1 commit

• d04940a0 - clarify comment

Compare with previous version

added 1 commit

• 51d27ea4 - fix typo

Compare with previous version

All right, LGTM modulo squashing the commits together and resolving the last open thread.

added 1 commit

• 7d544510 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• f486ef4e - Added one more missing parenthesis

Compare with previous version

resolved all threads

changed title from Updated suggested indendation configurations to Updated suggested emacs indendation configuration

enabled an automatic merge when the pipeline for f486ef4e succeeds

merged

mentioned in commit dacf718e