The DafnyRef.pdf in this folder is here, and committed to git,
for legacy reasons: it is where various links around the web
and on the Dafny web site point. It is no longer updated and
includes a warning to that effect.
