diff options
| author |  Rustan Leino <unknown> | 2014-02-10 18:08:31 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-10 18:08:31 -0800 |
| commit | 721a921d3e844b4505f5565b46c84ffb58500f13 (patch) | |
| tree | 4f1d0a281db8cc45801347e75073d5ebd4fbe30f /Util | |
| parent | f0f4e3acbabc7386dafce96ea6b077896045bb73 (diff) | |
Italicize attributes in latex mode for Dafny
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/latex/dafny.sty | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty index 83c2bf75..644e7581 100644 --- a/Util/latex/dafny.sty +++ b/Util/latex/dafny.sty @@ -86,6 +86,7 @@ sensitive=true, % case sensitive
morecomment=[l]{//},
morecomment=[s]{/*}{*/},
+ morecomment=[s]{\{:}{\}},
morestring=[b]",
numbers=none,
firstnumber=0,
|