diff options
author | 2012-01-18 20:14:04 -0800 | |
---|---|---|
committer | 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