diff options
| author |  Rustan Leino <unknown> | 2014-02-13 15:33:19 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-13 15:33:19 -0800 |
| commit | a60dbb41bd5757163c45fc2db9fb4840d3f4b4da (patch) | |
| tree | b494f3017087e26d679a42390cff9f2175e5fbaf | |
| parent | be556deb1f82b9e16b7337422d80a2546559648e (diff) | |
Increased space around "..." in latex style for Dafny.
| -rw-r--r-- | Util/latex/dafny.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 644e7581..56b92a1e 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -47,7 +47,7 @@ {<<}{$\langle$}1
{>>}{$\rangle$}1
{(==)}{${}^{(=)}$}2
- {...}{$\ldots$}1
+ {...}{$\ldots$}2
{\\alpha}{$\alpha$}1
{\\beta}{$\beta$}1
{\\gamma}{$\gamma$}1
|