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.