*.config
*.manifest
*.pkgdef
*.suo
*.userprefs
*.vsix
*.vsixmanifest
*~

Binaries/*.dll
Binaries/*.mdb
Binaries/*.pdb
Binaries/*.xml
Binaries/z3/
Binaries/Dafny.exe
Binaries/Dafny.vshost.exe
Binaries/DafnyServer.exe
Binaries/export/

Package/

Source/*/bin/
Source/*/obj/
Source/packages

Source/Dafny/Parser.cs.old
Source/Dafny/Scanner.cs.old
Source/DafnyExtension/DafnyPrelude.bpl
Source/DafnyExtension/DafnyRuntime.cs
Source/DafnyExtension/Z3-LICENSE.txt
Source/DafnyExtension/z3.exe

Test/**/*.exe
Test/**/*.dll
Test/**/*.mdb
Test/**/Output/
Test/server/model.bvd
Test/dafny0/Extern.cs
Test/desktop/*

Docs/OnlineTutorial/DocumentationTransducer.exe
Docs/OnlineTutorial/DocumentationTransducer.pdb
Docs/OnlineTutorial/DocumentationTransducer/obj
Docs/OnlineTutorial/manuscripts/*.htm
Docs/OnlineTutorial/manuscripts/*.*.dfy
Test/comp/*.cs
Test/comp/*.js
Test/comp/*-go
