From 8d9d0f7b5b8b5ffde1773429672d3a330fb6e741 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 2 Jun 2012 11:42:07 +0200 Subject: [PATCH] ltl2tgba.html: add meta description, and validate page. * wrap/python/ajax/ltl2tgba.html: Here. --- wrap/python/ajax/ltl2tgba.html | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html index ed87a94da..fb9b12289 100644 --- a/wrap/python/ajax/ltl2tgba.html +++ b/wrap/python/ajax/ltl2tgba.html @@ -1,9 +1,10 @@ - Spot's on-line LTL-to-TGBA translator + Spot's online LTL-to-TGBA translator + @@ -311,7 +312,7 @@ an identifier: aUb is an atomic proposition, unlike Boolean false:0 false not:! ~ - and:& && + and:& && /\ implies:-> --> @@ -368,8 +369,8 @@ an identifier: aUb is an atomic proposition, unlike goto:[->i..j] - intersection:&& /\ - NLM and:& + intersection:&& /\ + NLM and:& @@ -548,7 +549,7 @@ an identifier: aUb is an atomic proposition, unlike or
+

-