From e3b5552fb8524e60fcb34f629debf82a4a54ec0d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 25 Feb 2019 17:35:49 +0100 Subject: [PATCH] * NEWS: Add missing entry for previous patch. --- NEWS | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/NEWS b/NEWS index 973116ec6..983e88e24 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,10 @@ New in spot 2.7.1.dev (not yet released) + Documentation: + + - A new page shows how to create explicit Kripke structures in C++ + and Python. See https://spot.lrde.epita.fr/tut52.html + Python: - Improved support for explicit Kripke structure. It is now