.gitignore

SeminarExamples/*
**/node_modules/
.vscode
**/out/

*.config
*.manifest
*.pkgdef
*.suo
*.userprefs
*.vsix
*.vsixmanifest
*.DS_Store
*~
.#*
\#*#

.gradle/
.idea/

DafnySource/*/bin
DafnySource/*/obj
DafnySource/Source/DafnyDriver/Properties/*

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

Package/

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

Source/Dafny/Parser.cs.old
Source/Dafny/Scanner.cs.old

Docs/OnlineTutorial/DocumentationTransducer.exe
Docs/OnlineTutorial/DocumentationTransducer.pdb
Docs/OnlineTutorial/DocumentationTransducer/obj
Docs/OnlineTutorial/manuscripts/*.htm
Docs/OnlineTutorial/manuscripts/*.*.dfy

# Generated by Rider IDE
*.sln.DotSettings.user
*.sln.DotSettings

# Generated by Visual Studio 2019
*.csproj.user
Source/.vs

# Generated by VS Code
.vscode/*

# Generated by Java tools (gradle/javac/etc)

/Source/DafnyRuntime/DafnyRuntimeJava/.gradle
/Source/DafnyRuntime/DafnyRuntimeJava/build
*.class

node_modules/
package.json
package-lock.json
*.zip