From 5172b9c7d9e91bb03e78658369204d213a5d3b57 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 28 Sep 2018 10:04:17 +0200 Subject: [PATCH] org: adjust link to online translator * doc/org/index.org: Here. --- doc/org/index.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/org/index.org b/doc/org/index.org index daf2a2220..1d1292bbe 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -49,8 +49,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on * Try Spot On-line -- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or - PSL formulas into automata. +- [[https://spot.lrde.epita.fr/app/][Our on-line translator]] provides a convenient way to translate LTL or + PSL formulas into automata, or to study/compare formulas. - [[http://spot-sandbox.lrde.epita.fr/][spot-sandbox]] is a Jupyter notebook with a complete installation of Spot that allows you to try the [[file:tools.org][command-line tools]] (using a shell interface) as well as the Python bindings (in an IPython notebook).