Ocp-indent 1.8.1

See full changelog
  • tiny API change to help with the detection of top-level phrase boundaries
  • fixed a bug with end of comment detection in some cases (esp. related to cinaps)
  • tweaks for better indentation within cinaps comments
  • lowered priority of algebraic attributes in expressions ([@...]) to better match the actual meaning.