diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-18 20:14:04 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-18 20:14:04 -0800 |
| commit | a8abac3364f9af380d9854b490426c1a3b016d97 (patch) | |
| tree | 9385a1c964bdc9b072fc38d68be8a7f8ab69e4ca /Util/latex/dafny.sty | |
| parent | 7ffe46ca4bd9ff7c4ca0c0a550a841c6dc120875 (diff) | |
Dafny: fixed bug in compilation of generic datatypes
Diffstat (limited to 'Util/latex/dafny.sty')
0 files changed, 0 insertions, 0 deletions