| .. |
|
.dir-locals.el.in
|
org: show some useful R operations on ltlcross output
|
2018-09-26 17:52:16 +02:00 |
|
.gitignore
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
arch.tex
|
org: convert all images to svg
|
2017-11-22 12:03:53 +01:00 |
|
autcross.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
autfilt.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
citing.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
compile.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
concepts.org
|
org: typo
|
2019-01-07 11:26:45 +01:00 |
|
csv.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
dstar2tgba.org
|
org: adjust text for simplified example for dstar2tgba
|
2019-04-02 16:35:01 +02:00 |
|
g++wrap.in
|
g++wrap: make it work with --enable-glibcxx-debug
|
2017-08-02 15:26:35 +02:00 |
|
genaut.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
genltl.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
hierarchy.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
hierarchy.tex
|
org: convert all images to svg
|
2017-11-22 12:03:53 +01:00 |
|
hoa.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
index.org
|
org: adjust link to online translator
|
2018-09-28 10:04:17 +02:00 |
|
init.el.in
|
org: improve Python formating
|
2019-03-16 13:28:50 +01:00 |
|
install.org
|
org: suggest python-dev for installing Python headers
|
2019-03-18 14:03:17 +01:00 |
|
ioltl.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
ltl2tgba.org
|
org: clarify that ltl2tgba does not only output TGBA
|
2018-06-27 16:52:45 +02:00 |
|
ltl2tgta.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
ltlcross.org
|
org: show some useful R operations on ltlcross output
|
2018-09-26 17:52:16 +02:00 |
|
ltldo.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
ltlfilt.org
|
org: more hyperlinks
|
2019-03-16 13:28:50 +01:00 |
|
ltlgrind.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
ltlsynt.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
oaut.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
randaut.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
randltl.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
satmin.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
satmin.tex
|
org: convert all images to svg
|
2017-11-22 12:03:53 +01:00 |
|
setup.org
|
Release Spot 2.7.2
|
2019-03-17 17:19:39 +01:00 |
|
spot.css
|
org: improve Python formating
|
2019-03-16 13:28:50 +01:00 |
|
spot2.svg
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tools.org
|
org: clarify that ltl2tgba does not only output TGBA
|
2018-06-27 16:52:45 +02:00 |
|
tut.org
|
org: typos
|
2019-03-17 15:19:35 +01:00 |
|
tut01.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut02.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut03.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut04.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut10.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut11.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut12.org
|
org: typos
|
2019-03-17 15:19:35 +01:00 |
|
tut20.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut21.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut22.org
|
org: explain how to build automata with state-based acceptance
|
2019-04-02 23:14:26 +02:00 |
|
tut23.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut24.org
|
org: work around issue with Org 9.2
|
2019-01-16 18:06:04 +01:00 |
|
tut30.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut31.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
|
tut50.org
|
more documentation for twa_graph internals
|
2018-07-12 15:23:23 +02:00 |
|
tut51.org
|
org: add explicit Kripke structure example
|
2019-03-16 13:28:50 +01:00 |
|
tut52.org
|
org: add explicit Kripke structure example
|
2019-03-16 13:28:50 +01:00 |
|
upgrade2.org
|
modernize the logo
|
2018-06-27 16:18:15 +02:00 |
