Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added examples for detecting switches | changeset | files |
Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | adopting documentation of the predicate compiler | changeset | files |
Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | removing dead code; clarifying function names; removing clone | changeset | files |