From daf5a2be05e019427ac18b4c42abe25120643ac8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 25 Aug 2015 23:23:11 +0200 Subject: [PATCH] org: link to tl.pdf * doc/org/index.org, doc/org/ioltl.org: Add links. --- doc/org/index.org | 5 +++-- doc/org/ioltl.org | 4 ++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/org/index.org b/doc/org/index.org index 3ab4af84b..31bcb9848 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -34,9 +34,10 @@ The latest version is *{{{LASTRELEASE}}}* and was released on * Documentation -- [[file:tools.org][Command-line tools]] -- [[file:tut.org][Code examples]] +- [[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. +- [[https://spot.lrde.epita.fr/tl.pdf][Definition of the temporal operators supported by Spot]]. * On-line LTL/PSL translator diff --git a/doc/org/ioltl.org b/doc/org/ioltl.org index da0f3471f..509aebc12 100644 --- a/doc/org/ioltl.org +++ b/doc/org/ioltl.org @@ -55,8 +55,8 @@ to express the same formula for different tools. Spot's default LTL parser will understand all of them. For a complete definition of the supported operators, including PSL -operators, please refer to the =doc/tl/tl.pdf= document inside the -Spot distribution. +operators, please refer to the +[[https://spot.lrde.epita.fr/tl.pdf][=doc/tl/tl.pdf= document inside the Spot distribution]]. For Spot, an atomic proposition is any alphanumeric string that does not start with the (upper case) characters =F=, =G=, or =X=. For