From 6df06aceeb43cfe5f0627eddfaebfb636f29aa78 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 26 Jan 2011 22:09:37 +0100 Subject: [PATCH] * NEWS: Mention the new on-line ltl2tgba version. --- ChangeLog | 4 ++++ NEWS | 3 +++ 2 files changed, 7 insertions(+) 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.