Code

Vim syntax highlight#1463

Code

Merged

yav merged 2 commits intomasterGaloisInc/cryptol:masterfrom vim-syntax-highlightGaloisInc/cryptol:vim-syntax-highlightCopy head branch name to clipboardOct 26, 2022

+172-3

Commits

Commits on Oct 26, 2022

• Remove unused or repeated cases

  yav

  committed
  49540a1

  Copy full SHA for 49540a1

• Add a syntax highlighter for vim

  yav

  committed
  d0d854c

  Copy full SHA for d0d854c