From 4d3b618889fcec52f6af83fda072c94dd16cedc4 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <m@m-chrzan.xyz>
Date: Fri, 16 Jul 2021 10:30:21 +0200
Subject: Add readme

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..72b0e46
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+# Vim syntax highlighting for Certora
+
+`syntax.vim` provides Vim syntax highlighting directives for Certora prover's
+specification language. Put it in your `~/.vim/syntax/` directory, and add a
+`~/.vim/ftdetect/certora.vim` file with
+
+    autocmd BufNewFile,BufRead *.spec set filetype=certora
+    
+for autodetection of the spec filetype.
-- 
cgit v1.2.3