alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: add an example for dealing with LTLf formulas

Browse source 
Related to issue #377.

* doc/org/tut12.org: New file.
* doc/org/tut.org, doc/Makefile.am, NEWS: Add the new file.
This commit is contained in:
Alexandre Duret-Lutz 2019-03-14 22:55:45 +01:00
parent a2d940ab74
commit 18420ca499
4 changed files with 227 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/Makefile.am
View file

@ -104,6 +104,7 @@ ORG_FILES = \
org/tut04.org \
org/tut10.org \
org/tut11.org \
org/tut12.org \
org/tut20.org \
org/tut21.org \
org/tut22.org \