diff options
| author |  rustanleino <unknown> | 2010-06-24 01:13:16 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-24 01:13:16 +0000 |
| commit | d6d6e64df3130bae7d28eb165ea861e5eb298464 (patch) | |
| tree | 74585d4942732de9e6ef72693b5e5e859788927a /Util/vim/syntax/dafny.vim | |
| parent | cf26b0336a404760302bd57eb822fa906105cf1d (diff) | |
Dafny:
* re-introduced the feature where an input filename of "stdin.dfy" says to read the program from standard input
* supplied missing case (NotInSet) in Compiler.ssc
Diffstat (limited to 'Util/vim/syntax/dafny.vim')
0 files changed, 0 insertions, 0 deletions