search

racket / scribble

Other
194 stars 90 forks source link

tex-table: vdots delimiters, hdots dead #368

Closed AlexKnauth closed 1 year ago

AlexKnauth commented 1 year ago

Fixes a problem found in https://github.com/racket/scribble/pull/367#issuecomment-1603679173, of the same kind found for guillemets, but for vdots. Also adds tests for both the guillemet and vdots cases, and deletes the hdots dead code since that's subsumed by the cdots case.

rfindler commented 1 year ago

LGTM

AlexKnauth commented 1 year ago

Can this be merged?