diff options
| author |  Richard L. Ford <richford@microsoft.com> | 2016-01-27 21:35:30 -0800 |
|---|---|---|
| committer | Richard L. Ford <richford@microsoft.com> | 2016-01-27 21:35:30 -0800 |
| commit | fca241c91ba0f27d145bf083a283491844da1da1 (patch) | |
| tree | 7ed7a615e2f1a657a0cdb7fef0a889c18f904bd4 /Docs/DafnyRef/dafnyx.json | |
| parent | 348beb7f706f35256f5fb07349182e252aae8860 (diff) | |
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.
Diffstat (limited to 'Docs/DafnyRef/dafnyx.json')
| -rw-r--r-- | Docs/DafnyRef/dafnyx.json | 4 |
1 files changed, 4 insertions, 0 deletions
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 |