diff --git a/ChangeLog b/ChangeLog index ff688beec..edc4658fd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-01-26 Alexandre Duret-Lutz + + * NEWS: Mention the new on-line ltl2tgba version. + 2011-01-26 Alexandre Duret-Lutz Updates to the ltl2tgba ajax version. diff --git a/NEWS b/NEWS index 9ddee6324..989731baa 100644 --- a/NEWS +++ b/NEWS @@ -38,6 +38,9 @@ New in spot 0.6a: -Rn: Minimize automata for obligation formulae. -M: Build a deterministic monitor. -O: Tell whether an automaton is a safety automaton. + * The on-line tool to translate LTL formulae into automata + has been rewritten and is now at http://spot.lip6.fr/ltl2tgba.html + It requires a javascript-enabled browser. * Bug fixes: - Location of the errors messages in the TGBA parser where inaccurate. - Various warning fixes for different versions of GCC and Clang.