diff options
author | 2010-06-21 17:15:29 +0000 | |
---|---|---|
committer | 2010-06-21 17:15:29 +0000 | |
commit | c0f61b45a4c778829fed0f65378c23075bd4121d (patch) | |
tree | a57f22cd8f7960c6652c5ba4e5e370534289a632 /Binaries/DafnyPrelude.bpl | |
parent | fceb045bfb20039751ff7ca28f4ab7eb75c3d5d1 (diff) |
A simple highlighting syntax file for Vim.
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions