Files

Docs

Improve online tutorial

Oct 24, 2019

c4bb07f · Oct 24, 2019

This branch is 3059 commits behind dafny-lang/dafny:master.

Name		Name	Last commit message	Last commit date
parent directory ..
Compilation		Compilation	Use pre-commit to trim trailing spaces (dafny-lang#394 )	Oct 23, 2019
DafnyRef		DafnyRef	Use pre-commit to trim trailing spaces (dafny-lang#394 )	Oct 23, 2019
OnlineTutorial		OnlineTutorial	Improve online tutorial	Oct 24, 2019
StyleGuide		StyleGuide	Use pre-commit to trim trailing spaces (dafny-lang#394 )	Oct 23, 2019