Code

Coq unicode improvements#1764

Code

Merged

tancnle merged 10 commits intorouge-ruby:masterrouge-ruby/rouge:masterfrom cormacrelf:non-proof-modecormacrelf/rouge:non-proof-modeCopy head branch name to clipboardSep 24, 2022

+200-32

Commits

Commits on Nov 14, 2021

• Add webrick for ruby 3+ rackup/visual tests

  cormacrelf

  committed
  c1a34b1

  Copy full SHA for c1a34b1

• Add Coq visual sample with unicode symbols

  cormacrelf

  committed
  0e52b2d

  Copy full SHA for 0e52b2d

• Improve Coq symbol highlighting, particularly math symbols

  cormacrelf

  committed
  c684d4b

  Copy full SHA for c684d4b

• Make Coq ids support unicode

  cormacrelf

  committed
  0acc935

  Copy full SHA for 0acc935

• more coq samples, from Iris

  cormacrelf

  committed
  c726899

  Copy full SHA for c726899

• adjust Coq punct/operator split

  cormacrelf

  committed
  8ff1370

  Copy full SHA for 8ff1370

• more correct coq ident parser

  cormacrelf

  committed
  d3db448

  Copy full SHA for d3db448

• Treat bullets as punctuation, leaving operators intact

  cormacrelf

  committed
  1e2a9c4

  Copy full SHA for 1e2a9c4

• add numeric labels to coq proof mode

  cormacrelf

  committed
  4a7310b

  Copy full SHA for 4a7310b

Commits on Sep 12, 2022

• Use groups method to match consecutive tokens

  tancnle

  authored
  0e50264

  Copy full SHA for 0e50264