| Tue, 31 Aug 2010 12:15:50 +0200 | bulwahn | towards support of limited predicates for mutually recursive predicates | changeset | files |
| Tue, 31 Aug 2010 11:49:15 +0200 | bulwahn | improving clash-free naming of variables and preds in code_prolog | changeset | files |
| Tue, 31 Aug 2010 10:51:49 +0200 | bulwahn | exporting mode analysis for use in prolog generation | changeset | files |
| Tue, 31 Aug 2010 10:51:03 +0200 | bulwahn | renaming | changeset | files |