From 5e6d096e0fb566acf10635a54ad0009dcd6f6d2f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 2 May 2016 10:06:29 +0200 Subject: [PATCH] * doc/org/tools.org: Minor tweaks. --- doc/org/tools.org | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/doc/org/tools.org b/doc/org/tools.org index f3dfc641c..cb062df47 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -39,17 +39,17 @@ corresponding commands are hidden. * Command-line tools - [[file:randltl.org][=randltl=]] Generate random LTL/PSL formulas. -- [[file:ltlfilt.org][=ltlfilt=]] Filter and convert LTL/PSL formulas. +- [[file:ltlfilt.org][=ltlfilt=]] Filter, convert, and transform LTL/PSL formulas. - [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns. - [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into Büchi automata. - [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into Testing automata. - [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators. - [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL - formula -- [[file:dstar2tgba.org][=dstar2tgba=]] Convert automata with any acceptance into variants of - Büchi automata. -- [[file:randaut.org][=randaut=]] Generate random automata. -- [[file:autfilt.org][=autfilt=]] Filter and transform automata. + formula. +- [[file:dstar2tgba.org][=dstar2tgba=]] Convert \omega-automata with any acceptance into + variants of Büchi automata. +- [[file:randaut.org][=randaut=]] Generate random \omega-automata. +- [[file:autfilt.org][=autfilt=]] Filter, convert, and transform \omega-automata. - [[file:ltldo.org][=ltldo=]] Run LTL/PSL formulas through other tools using common [[file:ioltl.org][input]] and [[file:oaut.org][output]] interfaces.