Copy the syntax-highlight directory under share/cyrptol for installation#1464

yav wants to merge 1 commit intomasterGaloisInc/cryptol:masterfrom

vim-syntax-highlightGaloisInc/cryptol:vim-syntax-highlightCopy head branch name to clipboard