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

* NEWS: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-07-11 10:46:32 +02:00
parent 421a9a1b12
commit 3f9925c9cb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -70,8 +70,8 @@ New in spot 2.0.2a (not yet released)
* Bindings for language_containment_checker were added.
* Under IPython the spot.ltsmin modules nows offers a
%%pml magic do define promela models, compile them
* Under IPython the spot.ltsmin modules now offers a
%%pml magic to define promela models, compile them
with spins, and dynamically load them. This is
akin to the %%dve magic that was already supported.