Commit 172ce2d7 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* AUTHORS: Add Thomas Badie.

parent bb5949f6
...@@ -4,6 +4,7 @@ Alexandre Duret-Lutz ...@@ -4,6 +4,7 @@ Alexandre Duret-Lutz
Denis Poitrenaud Denis Poitrenaud
Rachid Rebiha Rachid Rebiha
Soheib Baarir Soheib Baarir
Thomas Badie
Thomas Martinez Thomas Martinez
Damien Lefortier Damien Lefortier
Guillaume Sadegh Guillaume Sadegh
2011-11-27 Alexandre Duret-Lutz <>
* AUTHORS: Add Thomas Badie.
2011-05-07 Thomas Badie <> 2011-05-07 Thomas Badie <>
Add text I/O for Kripke structures. Add text I/O for Kripke structures.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment