From 4bb023c9acf460c9cafe69c238996e35f47014bb Mon Sep 17 00:00:00 2001 From: Michael Lowell Roberts Date: Mon, 27 Apr 2015 10:53:23 -0700 Subject: added notice about vim-loves-dafny. --- Util/vim/README.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 Util/vim/README.md diff --git a/Util/vim/README.md b/Util/vim/README.md new file mode 100644 index 00000000..270b2d69 --- /dev/null +++ b/Util/vim/README.md @@ -0,0 +1,7 @@ +#Notice + +The [Dafny] syntax module for [Vim] that is located within directory will no longer be updated and has been superseded by the [vim-loves-dafny] plugin. + +[Dafny]: http://dafny.codeplex.com +[Vim]: http://www.vim.org +[vim-loves-dafny]: https://github.com/mlr-msft/vim-loves-dafny -- cgit v1.2.3