From fca241c91ba0f27d145bf083a283491844da1da1 Mon Sep 17 00:00:00 2001
From: "Richard L. Ford" <richford@microsoft.com>
Date: Wed, 27 Jan 2016 21:35:30 -0800
Subject: Add Dafny reference manual

This version is still a draft, but is mostly complete and
about half reviewed. The manual is written using
Madoko. The sources are in the Docs/DafnyRef directory.
The processed sources are available in the
Docs/DafnyRef/out directory in the form of a single
HTML page or as a PDF.
---
 Docs/DafnyRef/dafnyx.json | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Docs/DafnyRef/dafnyx.json

(limited to 'Docs/DafnyRef/dafnyx.json')

diff --git a/Docs/DafnyRef/dafnyx.json b/Docs/DafnyRef/dafnyx.json
new file mode 100644
index 00000000..be06bfa1
--- /dev/null
+++ b/Docs/DafnyRef/dafnyx.json
@@ -0,0 +1,4 @@
+{ "name": "dafnyx",
+  "extend": "dafny",
+  "extraKeywords": ["inductive"]
+}
\ No newline at end of file
-- 
cgit v1.2.3