Version of the run script that works with trace executor; waiting on StarExec infrastructure for testing.
Proper escaping in option documentation.
Fix make install-examples.
Better --segv-spin messages.
More doc fixes; fixes some lintian warnings.
minor update to application track config in QF_BV
More proof support for CASC : include skolemization
Minor fixes, spelling etc.
dos2unix-convert some sources.
get-glpk-cut-log script, and configure code.
Minor fixes to get-abc script and configure stuff.
Clean up some compiler warnings on 32-bit.
Fix compile errors with some versions of GCC.
Disallow context-dependent copy/assignment.
Some fixes for tear-down-incremental and "success" output.
Versioning preparation.
More application-track fixes for use with trace executor.
fix typo
Clean up glpk detection a little, fix a detection bug.
Fix rewriter typo.