2023-04-20  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	release Spot 2.11.5

	* NEWS, configure.ac, doc/org/setup.org: Update version.

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	org: replace version references with org-babel blocks

	This way we have fewer lines to edit multiple when making releases.

	* doc/org/index.org, doc/org/init.el.in, doc/org/install.org,
	doc/org/setup.org, doc/org/tools.org: Use org-babel instead of macros
	for release version and links.

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	powerset: fix segfault when the initial state is a sink

	Reported by Raven Beutner.

	* spot/twaalgos/minimize.cc: Improve comment.
	* spot/twaalgos/powerset.cc: Fix handling of an initial state that
	is also a sink.
	* tests/core/wdba2.test: Add test case.
	* NEWS: Mention the bug.

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	twa_run: let as_twa work on the result of intersecting_run

	Reported by Philipp Schlehuber-Caissier.

	* spot/twaalgos/emptiness.cc (as_twa): Simplify considerably.  Don't
	try to replay the run, and don't merge identical states.
	* spot/twaalgos/word.hh, spot/twaalgos/emptiness.hh: Improve
	documentation.
	* tests/python/intrun.py: Add a test case.
	* NEWS: Mention the bug.

2023-04-19  Philipp Schlehuber-Caissier  <philipp.schlehuber@epita.frr>

	Fix parity solver if edgevector is not contiguous

	Validity of strategies was tested relying on
	num_edges() which might be smaller than the edge_number

	* spot/twaalgos/game.cc: Fix here
	* tests/python/game.py: Test here

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	correctly fails if emacs needed and missing

	Fixes #528.

	* configure.ac: Define EMACS using tools/missing.
	* NEWS: Mention the bug.

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	fix spurious test-case failure when Python is not installed

	Fixes #530.

	* tests/core/ltlsynt2.test: Skip when PYTHON is empty.
	* NEWS: Mention the fix.

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/tl/tl.tex: Typo in firstmatch semantics.

2023-04-19  Philipp Schlehuber  <philipp.schlehuber@epita.fr>

	Ignore ltargz.m4

	* .gitignore: Ignore it
	* m4/ltargz.m4: Remove it

2023-04-19  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	org: fix rendering of R examples for recent ESS/Org

	* doc/org/.dir-locals.el.in, doc/org/init.el.in: Newer ESS version
	need to be taught to use default-directory instead of the project
	directory.
	* doc/org/ltlcross.org: Use "result file" to render the output.
