| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | speed up not_edf(), produce some output | Bjoern B. Brandenburg | 2008-11-02 |
| * | more diagnostic rules | Bjoern B. Brandenburg | 2008-11-02 |
| * | GNU Prolog glue | Bjoern B. Brandenburg | 2008-11-02 |
| * | started work on verifier | Bjoern B. Brandenburg | 2008-11-01 |
