From 3f9925c9cbde7a5646ff3d1e85e259f711219033 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 11 Jul 2016 10:46:32 +0200 Subject: [PATCH] * NEWS: Typo. --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 1cabbf40d..0b148c7e6 100644 --- a/NEWS +++ b/NEWS @@ -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.