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 2010-02-02 16:23:20 +01:00
parent e800eb185a
commit a13ded583b
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2010-02-02 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Typo.
2010-02-01 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-02-01 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS, configure.ac: Bump version to 0.5a. * NEWS, configure.ac: Bump version to 0.5a.

2
NEWS
View file

@ -8,7 +8,7 @@ New in spot 0.5 (2010-02-01):
- <spot-announce@lrde.epita.fr> is read-only and will be used to - <spot-announce@lrde.epita.fr> is read-only and will be used to
announce new releases. You may subscribe at announce new releases. You may subscribe at
https://www.lrde.epita.fr/mailman/listinfo/spot-announce https://www.lrde.epita.fr/mailman/listinfo/spot-announce
- <spot@lrde.epita.fr> can be used to discusse anything related - <spot@lrde.epita.fr> can be used to discuss anything related
to Spot. You may subscribe at to Spot. You may subscribe at
https://www.lrde.epita.fr/mailman/listinfo/spot-announce https://www.lrde.epita.fr/mailman/listinfo/spot-announce
* Two new LTL translations have been implemented: * Two new LTL translations have been implemented: