| Tue, 07 Oct 2008 16:07:40 +0200 | haftmann | tuned whitespace | changeset | files |
| Tue, 07 Oct 2008 16:07:33 +0200 | haftmann | only one theorem table for both code generators | changeset | files |
| Tue, 07 Oct 2008 16:07:30 +0200 | haftmann | proper default codegen attribute | changeset | files |
| Tue, 07 Oct 2008 16:07:25 +0200 | haftmann | tuned code setup | changeset | files |
| Tue, 07 Oct 2008 16:07:24 +0200 | haftmann | code generator more liberal with respect to sort constraints of instance parameters | changeset | files |
| Tue, 07 Oct 2008 16:07:23 +0200 | haftmann | more Isar for example | changeset | files |
| Tue, 07 Oct 2008 16:07:22 +0200 | haftmann | tuned funpow code generation | changeset | files |