diff options
author | 2011-06-20 14:49:48 -0700 | |
---|---|---|
committer | 2011-06-20 14:49:48 -0700 | |
commit | a3629701b94e39ead149b4f4059f7967fc6eda7b (patch) | |
tree | 4e1a8b7ae05fe4913dcd320e27ee7a49e6e6c440 /Jennisys/TypeChecker.fs | |
parent | 8c7c61df9b89ab12f1a679e1bc34d38fa2403761 (diff) |
Dafny: removed deprecated "call" and "use" keywords from syntax highlighters
Diffstat (limited to 'Jennisys/TypeChecker.fs')
0 files changed, 0 insertions, 0 deletions