DescriptionImplement thick bar lines (use \bar "." for this)
Until now, \bar"." produced a single dot instead of the bar line, which
was however not used anywhere and also not documented...
Using "." for the bar line style is consistent with other types like
".|" or "|.", where a | indicates a think line and . indicates a thick
line.
Patch Set 1 #Patch Set 2 : Add documentation, regtest, etc. #
MessagesTotal messages: 1
|