diff options
| author |  mikebarnett <unknown> | 2010-06-25 16:36:48 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-06-25 16:36:48 +0000 |
| commit | 6da9d946cab8aeb7306de50a7470e3a14c7e2e9c (patch) | |
| tree | 7293018c5b7f5fb79775b6e3997b4f71333fa24f /Source/Dafny/DafnyMain.ssc | |
| parent | e43514ab8b4dbc972abc8da26aff61b3b7a4177f (diff) | |
Unified the .frame files so that both Boogie and Dafny use exactly the same ones.
Diffstat (limited to 'Source/Dafny/DafnyMain.ssc')
0 files changed, 0 insertions, 0 deletions