From 6794b8570aa9e1f70bc2c46343139a1786ea58c2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 28 Nov 2011 17:56:46 +0100 Subject: [PATCH] Undocument `.' from the web interface. * wrap/python/ajax/ltl2tgba.html: Remove `.' from the list of acceptable symbols for AND. --- ChangeLog | 7 +++++++ wrap/python/ajax/ltl2tgba.html | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 52b03e9e2..4f5aed614 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2011-11-28 Alexandre Duret-Lutz + + Undocument `.' from the web interface. + + * wrap/python/ajax/ltl2tgba.html: Remove `.' + from the list of acceptable symbols for AND. + 2011-11-28 Alexandre Duret-Lutz * NEWS, configure.ac: Bump version to 0.8a. diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index 25a54cc15..7de6f15db 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -199,7 +199,7 @@ an identifier: aUb is an atomic proposition, unlike not:! ~ and:& && - . /\ + /\ (strong) until:U true:1 true