Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Chalice: added string type and string literals (but no other string operations) | 2011-07-26 | |
* | Dafny: removed deprecated "call" and "use" keywords from syntax highlighters | 2011-06-20 | |
* | Dafny: added constructors | 2011-05-28 | |
* | Dafny: added type "nat" | 2011-04-19 | |
* | Dafny: added "choose" operator on sets | 2011-03-26 | |
* | Dafny: | 2011-02-17 | |
* | Dafny: | 2010-09-17 | |
* | Vim: add keywords to Chalice | 2010-09-02 | |
* | Syntax file for Chalice. | 2010-07-14 | |
* | Dafny: keep counters for loops, temporary variables across two implementation... | 2010-07-07 | |
* | Dafny: | 2010-07-06 | |
* | slightly improved syntax file | 2010-06-24 | |
* | VIM syntax file for BPL. I just had it laying around. | 2010-06-21 | |
* | A simple highlighting syntax file for Vim. | 2010-06-21 |