Skip to content

Fixing broken intervals

Ghost User requested to merge (removed):fix_broken_intervals into master

Fixed intervals of the kind [a,b). The fact that the square bracket is not balanced messes up CoqDoc. By using <<[a,b]>> instead, the problem is mitigated. This has been added to the guidelines.

Merge request reports