Commit 9f41e397 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* README: Typo.

parent ec2e54df
2010-01-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* README: Typo.
2010-01-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/sanity/Makefile.am (EXTRA_DIST): Distribute readme.test.
......
......@@ -120,7 +120,7 @@ bench/ Benchmarks for ...
emptchk/ ... emptiness-check algorithms,
gspn-ssp/ ... various symmetry-based methods with GreatSPN,
ltl2tgba/ ... LTL-to-Büchi translation algorithms,
ltlcouter/ ... translation of a class of LTL formulae,
ltlcounter/ ... translation of a class of LTL formulae,
scc-stats/ ... SCC statistics after translation of LTL formulae,
split-product/ ... parallelizing gain after splitting LTL automata.
wrap/ Wrappers for other languages.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment