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

* NEWS: Add missing entry for previous patch.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-02-25 17:35:49 +01:00
parent 8512a2d526
commit e3b5552fb8
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -1,5 +1,10 @@
New in spot 2.7.1.dev (not yet released) 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: Python:
- Improved support for explicit Kripke structure. It is now - Improved support for explicit Kripke structure. It is now