From d30f7e1f0f8fa73b48a46df5fc5b6f47ca8a008d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 18 Feb 2016 14:24:07 +0100 Subject: [PATCH] * doc/org/index.org: Link to spot-sandbox. --- doc/org/index.org | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/org/index.org b/doc/org/index.org index f9cd982eb..51725fb4b 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -40,10 +40,13 @@ The latest version is *{{{LASTRELEASE}}}* and was released on - [[http://spot.lrde.epita.fr/doxygen/][Doxygen documentation]], generated automatically from the source code. - [[https://spot.lrde.epita.fr/tl.pdf][Definition of the temporal operators supported by Spot]]. -* On-line LTL/PSL translator +* 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, without installing Spot. + PSL formulas into automata. +- [[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). * License