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