From caaf0a80c242190098528872cd8dc84e9ac8245a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 6 Feb 2011 17:36:26 +0100 Subject: [PATCH] Document the new operators in the on-line tools. * wrap/python/ajax/ltl2tgba.html: Mention Goal's ~, -->, and <--> operators. * wrap/python/cgi-bin/ltl2tgba.in: Likewise. --- ChangeLog | 8 ++++++++ wrap/python/ajax/ltl2tgba.html | 6 ++++-- wrap/python/cgi-bin/ltl2tgba.in | 4 +++- 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 09b177b1f..5046fc488 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2011-02-06 Alexandre Duret-Lutz + + Document the new operators in the on-line tools. + + * wrap/python/ajax/ltl2tgba.html: Mention Goal's ~, -->, and <--> + operators. + * wrap/python/cgi-bin/ltl2tgba.in: Likewise. + 2011-02-06 Alexandre Duret-Lutz Fix a segfault in WDBA minimization. diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 3d7c0ce22..6ee4c945b 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -197,7 +197,7 @@ an identifier: aUb is an atomic proposition, unlike - not:! + not:! ~ and:& && . /\ (strong) until:U @@ -216,8 +216,9 @@ an identifier: aUb is an atomic proposition, unlike always:G - [] + [] implies:-> + --> => (weak) release:R V @@ -226,6 +227,7 @@ an identifier: aUb is an atomic proposition, unlike next:X () equivalent:<-> + <--> <=> strong release:M diff --git a/wrap/python/cgi-bin/ltl2tgba.in b/wrap/python/cgi-bin/ltl2tgba.in index a05bd6c8a..32a6b9c76 100755 --- a/wrap/python/cgi-bin/ltl2tgba.in +++ b/wrap/python/cgi-bin/ltl2tgba.in @@ -346,7 +346,7 @@ an identifier: aUb is an atomic proposition, unlike - not:! + not:! ~ and:& && . /\ (strong) until:U @@ -367,6 +367,7 @@ an identifier: aUb is an atomic proposition, unlike always:G [] implies:-> + --> => (weak) release:R V @@ -375,6 +376,7 @@ an identifier: aUb is an atomic proposition, unlike next:X () equivalent:<-> + <--> <=> strong release:M