X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/0ee596c5c5e11fc79598407eaf22f83d279f7e9e..5a4872f466ebd76ddd532bdf2798554421c53df4:/.vim/bundle/ale/doc/ale-dafny.txt

diff --git a/.vim/bundle/ale/doc/ale-dafny.txt b/.vim/bundle/ale/doc/ale-dafny.txt
new file mode 100644
index 00000000..4ac1ad77
--- /dev/null
+++ b/.vim/bundle/ale/doc/ale-dafny.txt
@@ -0,0 +1,20 @@
+===============================================================================
+ALE Dafny Integration                                       *ale-dafny-options*
+
+
+===============================================================================
+dafny                                                         *ale-dafny-dafny*
+
+                                            *ale-options.dafny_dafny_timelimit*
+                                                  *g:ale_dafny_dafny_timelimit*
+                                                  *b:ale_dafny_dafny_timelimit*
+dafny_dafny_timelimit
+g:ale_dafny_dafny_timelimit
+  Type: |Number|
+  Default: `10`
+
+  This variable sets the `/timeLimit` used for dafny.
+
+
+===============================================================================
+  vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: