From b20687630b5a65c21786fc27dc17aaab143c1ad8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 7 Nov 2017 17:15:13 +0100 Subject: [PATCH] org: ltl3hoa -> ltl3tela Fixes #296. * doc/org/ltlcross.org: Here. --- doc/org/ltlcross.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/ltlcross.org b/doc/org/ltlcross.org index 2da4bcdc8..2a470be6b 100644 --- a/doc/org/ltlcross.org +++ b/doc/org/ltlcross.org @@ -168,7 +168,7 @@ tools: - '~java -jar rabinizer3.1.jar -in=formula -silent -out=std -format=hoa -auto=tr %[MWRei^]f >%O~' (rabinizer 3.1 can output automata in the HOA format) - '=ltl3dra -f %s >%O=' (The HOA format is the default for =ltl3dra=.) - - '=ltl3hoa -f %s >%O=' (The HOA format is the default for =ltl3hoa=.) + - '=ltl3tela -f %s >%O=' (The HOA format is the default for =ltl3tela=.) To simplify the use of some of the above tools, a set of predefined shorthands are available. Those can be listed with the