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/ignores.dic | 83 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 83 insertions(+)
 create mode 100644 Docs/DafnyRef/ignores.dic

(limited to 'Docs/DafnyRef/ignores.dic')

diff --git a/Docs/DafnyRef/ignores.dic b/Docs/DafnyRef/ignores.dic
new file mode 100644
index 00000000..f492d28b
--- /dev/null
+++ b/Docs/DafnyRef/ignores.dic
@@ -0,0 +1,83 @@
+Dafny
+lexer
+Datatypes
+initializable
+Multisets
+multiset
+multisets
+disequality
+maplets
+maplet
+datatypes
+datatype
+datatype's
+Dafny's
+destructors
+nullable
+subarray
+indices
+mixin
+supertype
+CLU
+Async
+async
+Newtypes
+newtype
+newtype's
+pre
+BNF
+Polikarpova
+Paqui
+backticks
+colorizer
+Daan's
+Btw
+Codeplex
+formedness
+forall
+newtypes
+TODO
+updatable
+toplevel
+bodyless
+bool
+calc
+codatatype
+colemma
+comethod
+copredicate
+nat
+wildcard
+Builtin
+builtin
+inline
+NoUSIdent
+iff
+timeLimitMultiplier
+prependAssertToken
+ModuleDefinition
+AssignmentRhs
+LocalVariable
+LetExpr
+MaybeFreeExpression
+attrHelp
+EXE
+IDE
+SkippingLemma
+deconstructing
+Leino
+Moskal
+Agda
+Coq
+pointwise
+SMT
+BelowSquare
+CoFixpoint
+Copredicates
+prepending
+unrollings
+Colemmas
+Explies
+imaps
+NamedExpr
+strengthed
\ No newline at end of file
-- 
cgit v1.2.3