diff options
author | 2012-09-20 10:50:02 +0200 | |
---|---|---|
committer | 2012-09-20 10:50:02 +0200 | |
commit | 1eb9803b383c5d245e1ed0ae43c0be951b2f1619 (patch) | |
tree | 69ccf2116ceec05df67b219ede2ac7fc9ccbaf4c /Util/latex/dafny.sty | |
parent | 35573c8c9ea324503c9a61e5c8e2b1b609d01e66 (diff) |
Allow a single != in a calc
Diffstat (limited to 'Util/latex/dafny.sty')
0 files changed, 0 insertions, 0 deletions