From af63bf0fdba13444d7aa82ac5fa84324876329a3 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 30 Sep 2010 13:54:49 +0000
Subject: Util: Minor changes to the LaTeX listings packages for Boogie and
 Dafny.

---
 Util/latex/boogie.sty | 2 +-
 Util/latex/dafny.sty  | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'Util/latex')

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
-- 
cgit v1.2.3