Skip to content
Snippets Groups Projects

Add support for \cases

Merged Jakob Brünker requested to merge wip/T20768 into ghc-head
1 file
+ 1
0
Compare changes
  • Side-by-side
  • Inline
@@ -269,6 +269,7 @@ classify tok =
ITequal -> TkGlyph
ITlam -> TkGlyph
ITlcase -> TkGlyph
ITlcases -> TkGlyph
ITvbar -> TkGlyph
ITlarrow {} -> TkGlyph
ITrarrow {} -> TkGlyph
Loading