Alexandre Duret-Lutz
91df6cab77
fix status of lbtt's subtree. Apparently it was messed up during the cvsimport
2008-02-25 14:30:09 +01:00
Alexandre Duret-Lutz
4741dc02bf
* lbtt/: Merge lbtt 1.0.3.
2004-02-16 12:09:29 +00:00
Alexandre Duret-Lutz
4b4b640ec4
* src/TestOperations.cc: Include sys/wait.h.
2004-01-16 16:04:04 +00:00
Alexandre Duret-Lutz
48c03b89b8
* src/TestOperations.cc (generateBuchiAutomaton): Forward SIGINT
...
and SIGQUIT.
* src/ExternalTranslator.cc (ExternalTranslator::translate): Likewise.
* src/main.cc (main): Do not intercept SIGINT in
non-interactive runs.
2003-07-29 13:06:53 +00:00
Alexandre Duret-Lutz
ababb9ff93
Initial revision
2002-10-01 14:21:01 +00:00
