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

* THANKS: Add Michael Weber for his help on the DiVinE interface.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-03-20 13:11:09 +01:00
parent a5a74481d9
commit 4ce06114d7
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,7 @@
2011-03-20 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* THANKS: Add Michael Weber for his help on the DiVinE interface.
2011-03-18 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-03-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltltest/genltl.cc (syntax): Typos in the help text. * src/ltltest/genltl.cc (syntax): Typos in the help text.
@ -80,7 +84,6 @@
* iface/dve2/README: New file. * iface/dve2/README: New file.
* NEWS: Mention it. * NEWS: Mention it.
* THANKS: Add Michael Weber.
2011-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>

1
THANKS
View file

@ -5,6 +5,7 @@ Heikki Tauriainen
Jean-Michel Couvreur Jean-Michel Couvreur
Jean-Michel Ilié Jean-Michel Ilié
Kristin Y. Rozier Kristin Y. Rozier
Michael Weber
Rüdiger Ehlers Rüdiger Ehlers
Silien Hong Silien Hong
Yann Thierry-Mieg Yann Thierry-Mieg