Commit e191a034 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

* NEWS: Add missing entry for previous patch.

parent b5248f72
Pipeline #6830 passed with stages
in 139 minutes and 37 seconds
New in spot (not yet released)
- A new page shows how to create explicit Kripke structures in C++
and Python. See
- Improved support for explicit Kripke structure. It is now
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment