summaryrefslogtreecommitdiffstats
path: root/syntax/cryptol.vim (follow)
AgeCommit message (Expand)AuthorFilesLines
2019-03-04Change plugin guard for disabling, fixes #371Adam Stankiewicz1-4/+4
2016-05-13UpdateAdam Stankiewicz1-3/+6
2016-05-02Add cryptol syntax, closes #107Adam Stankiewicz1-0/+114