Replace old-style online tutorial files with current Markdown files.

Fixes #188
dafny-lang · May 29, 2018 · 14c5be9 · 14c5be9
1 parent 1159d12
commit 14c5be9
Show file tree

Hide file tree

Showing 14 changed files with 3,566 additions and 3,199 deletions.
diff --git a/Docs/OnlineTutorial/DocumentationTransducer.sln b/Docs/OnlineTutorial/DocumentationTransducer.sln
diff --git a/Docs/OnlineTutorial/DocumentationTransducer/DocumentationTransducer.csproj b/Docs/OnlineTutorial/DocumentationTransducer/DocumentationTransducer.csproj
diff --git a/Docs/OnlineTutorial/DocumentationTransducer/Program.cs b/Docs/OnlineTutorial/DocumentationTransducer/Program.cs