2026-04-25  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	Release Spot 2.15.1

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

2026-04-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* .gitlab-ci.yml (webarchive): Also archive the dload/ directory.

2026-04-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	translate: mark stutter-invariant automata in the mtdswa path

	* spot/twaalgos/translate.cc: When translating an X-free syntactic
	obligation using MTDSWA, mark the resulting automaton as
	stutter-invariant.
	* tests/core/ltl2tgba.test: Add a quick test.
	* tests/core/trackf.test: Adjust.
	* NEWS: Mention the bug.

2026-04-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	c++20: replace std::result_of by std::invoke_result_t

	Fixes #643, reported by Daeho Ro.

	* spot/bricks/brick-types: Replace deprecated std::result_of.
	* NEWS: Mention the issue.
	* THANKS: Add Daeho.

2026-04-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* NEWS, configure.ac: Bump version to 2.15.0.dev.

2026-04-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	Relase Spot 2.15

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

2026-04-24  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	* doc/org/ltlsynt.org: Fix a broken example.

2026-04-23  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	org: Document support for QLTLf

	* doc/org/ltlf2dfa.org, doc/org/ltlfsynt.org: Add examples.

2026-04-23  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	ltlf2dfa: fix support for \forall and \exists

	* bin/ltlf2dfa.cc: Let the default translation switch between
	compositional or direct depending on whether the formula is
	quantified.  Also preserve the quantifier on state names if
	--keep-names is passed.
	* tests/core/ltlf2dfa.test: Add some quick test cases.
	* spot/twaalgos/ltlf2dfa.hh, spot/twaalgos/ltlf2dfa.cc (ltl_to_mtdfa):
	Add some option to preserve quantifiers in names.

2026-04-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* NEWS: Update with information about \forall and \exists.
