Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: removed deprecated "call" and "use" keywords from syntax highlighters | Rustan Leino | 2011-06-20 |
* | Dafny: added constructors | Rustan Leino | 2011-05-28 |
* | Dafny: added type "nat" | Rustan Leino | 2011-04-19 |
* | Dafny: added "choose" operator on sets | rustanleino | 2011-03-26 |
* | Dafny: | rustanleino | 2011-02-17 |
* | Dafny: | rustanleino | 2010-09-17 |
* | Dafny: keep counters for loops, temporary variables across two implementation... | kyessenov | 2010-07-07 |
* | Dafny: | rustanleino | 2010-07-06 |
* | slightly improved syntax file | kyessenov | 2010-06-24 |
* | A simple highlighting syntax file for Vim. | kyessenov | 2010-06-21 |