alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: adjust link to online translator

Browse source 
* doc/org/index.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-09-28 10:04:17 +02:00
parent 3eb26704d6
commit 5172b9c7d9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/index.org
View file

@ -49,8 +49,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on
* Try Spot On-line * Try Spot On-line
- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or - [[https://spot.lrde.epita.fr/app/][Our on-line translator]] provides a convenient way to translate LTL or
PSL formulas into automata. 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 - [[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 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). interface) as well as the Python bindings (in an IPython notebook).