Alexandre Duret-Lutz 57d5eb3cb3 Work around a spurious style.test error. ... * src/saba/sabacomplementtgba.hh (spot): Rewrite Büchi as B\"uchi is the BibTex entry used as comment, because some version of sed will choke on non-ascii character and cause sanity/style.test to fail.		2010-02-23 17:31:39 +01:00
..
explicitstateconjunction.cc	Fix copyrights.	2010-01-24 20:51:09 +01:00
explicitstateconjunction.hh	Fix copyrights.	2010-01-24 20:51:09 +01:00
Makefile.am	Fix copyrights.	2010-01-24 20:51:09 +01:00
saba.cc	Fix copyrights.	2010-01-24 20:51:09 +01:00
saba.hh	Touch up some doxygen comments and copyrights.	2010-01-30 16:00:37 +01:00
sabacomplementtgba.cc	Check for missing Copyright blurbs, and add them.	2010-01-30 16:32:13 +01:00
sabacomplementtgba.hh	Work around a spurious style.test error.	2010-02-23 17:31:39 +01:00
sabastate.hh	Fix copyrights.	2010-01-24 20:51:09 +01:00
sabasucciter.hh	Fix copyrights.	2010-01-24 20:51:09 +01:00