summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2010-09-30 13:54:49 +0000
committerGravatar wuestholz <unknown>2010-09-30 13:54:49 +0000
commitaf63bf0fdba13444d7aa82ac5fa84324876329a3 (patch)
treee4b581977e8925b559207c22fd00ca6ca64e5dad
parentf14dcef0d8c0459638c81f7a82972055cfd5d4f7 (diff)
Util: Minor changes to the LaTeX listings packages for Boogie and Dafny.
-rw-r--r--Util/latex/boogie.sty2
-rw-r--r--Util/latex/dafny.sty3
2 files changed, 3 insertions, 2 deletions
diff --git a/Util/latex/boogie.sty b/Util/latex/boogie.sty
index e07d1399..45eb050d 100644
--- a/Util/latex/boogie.sty
+++ b/Util/latex/boogie.sty
@@ -48,7 +48,7 @@
{&&}{$\land$}1
{||}{$\lor$}1
{<=}{$\le$}1
- {=>}{$\ge$}1
+ {>=}{$\ge$}1
{==>}{$\Longrightarrow$}3
{<==>}{$\Longleftrightarrow$}4
{forall}{$\forall$}1
diff --git a/Util/latex/dafny.sty b/Util/latex/dafny.sty
index 9eb941de..e82ed0dc 100644
--- a/Util/latex/dafny.sty
+++ b/Util/latex/dafny.sty
@@ -26,13 +26,14 @@
{&&}{$\land$}1
{||}{$\lor$}1
{<=}{$\le$}1
- {=>}{$\ge$}1
+ {>=}{$\ge$}1
% the following isn't actually Dafny, but it gives the option to produce nicer latex
{|=>}{$\Rightarrow$}2
{<=set}{$\subseteq$}1
{+set}{$\cup$}1
{*set}{$\cap$}1
{==>}{$\Longrightarrow$}3
+ {=>}{$\Rightarrow$}2
{<==>}{$\Longleftrightarrow$}4
{forall}{$\forall$}1
{exists}{$\exists$}1