From fca241c91ba0f27d145bf083a283491844da1da1 Mon Sep 17 00:00:00 2001 From: "Richard L. Ford" 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/out/DafnyRef.pdf | Bin 0 -> 563066 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Docs/DafnyRef/out/DafnyRef.pdf (limited to 'Docs/DafnyRef/out/DafnyRef.pdf') diff --git a/Docs/DafnyRef/out/DafnyRef.pdf b/Docs/DafnyRef/out/DafnyRef.pdf new file mode 100644 index 00000000..b4e94885 Binary files /dev/null and b/Docs/DafnyRef/out/DafnyRef.pdf differ -- cgit v1.2.3