| Wed, 15 Nov 2006 17:05:46 +0100 | haftmann | clarified code for building function equation system; explicit check of type discipline | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:37 +0100 | haftmann | (adjustions) | file | diff | annotate |
| Fri, 03 Nov 2006 14:22:45 +0100 | haftmann | fixed problem with variable names | file | diff | annotate |
| Tue, 31 Oct 2006 14:59:26 +0100 | haftmann | clarified make_term interface | file | diff | annotate |
| Tue, 31 Oct 2006 09:29:13 +0100 | haftmann | refined algorithm | file | diff | annotate |
| Tue, 10 Oct 2006 09:17:24 +0200 | haftmann | added keeping of funcgr | file | diff | annotate |
| Sat, 07 Oct 2006 07:41:56 +0200 | haftmann | cleaned up interfaces | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:46 +0200 | haftmann | clarified header comments | file | diff | annotate |
| Mon, 02 Oct 2006 23:00:51 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 25 Sep 2006 17:04:22 +0200 | haftmann | fixed some mess | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:26 +0200 | haftmann | added codegen_data | file | diff | annotate |