Alexandre Duret-Lutz 7b2517a518 formula: accept additional arguments for map and traverse ... Fixes #306. * spot/tl/formula.hh, python/spot/__init__.py: Implement this in C++ and Python. * doc/org/tut03.org: Document (and indirectly test) it. * NEWS: Mention it.		2017-11-23 23:04:15 +01:00
..
org	formula: accept additional arguments for map and traverse	2017-11-23 23:04:15 +01:00
tl	document the recent changes to implication rules	2017-10-18 14:53:29 +02:00
.gitignore	more files to ignore	2015-01-08 21:04:03 +01:00
Doxyfile.in	doc: implement --enable-doxygen and do not distribute the doc	2017-11-22 16:06:04 +01:00
footer.html	Improve documentation here and there.	2013-06-09 15:55:57 +02:00
mainpage.dox	overhaul the stutter-invariance checks	2017-11-01 10:35:11 +01:00
Makefile.am	* doc/Makefile.am (DISTCLEANFILES): Avoid multiple definitions.	2017-11-23 23:03:09 +01:00