From ccd60c8c5ebcebcd73bb1f0ad3f87fe3d12b31b2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 17 Jun 2015 11:34:01 +0200 Subject: [PATCH] org: link to Doxygen documentation, and to on-line translator * doc/org/index.org: Here. --- doc/org/index.org | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/org/index.org b/doc/org/index.org index 6ee957a47..5397a35df 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -34,6 +34,12 @@ The latest version is *{{{LASTRELEASE}}}* and was released on - [[file:tools.org][Command-line tools]] - [[file:tut.org][Code examples]] +- [[http://spot.lrde.epita.fr/doxygen/][Doxygen documentation]], generated automatically from the source code. + +* On-line LTL/PSL translator + +- [[http://spot.lrde.epita.fr/trans.html][This page]] provides a convenient way to translate LTL or PSL formulas into automata, + without installing Spot. * License