| Thu, 23 Apr 2009 12:17:51 +0200 | haftmann | adaptions due to rearrangment of power operation | changeset | files |
| Thu, 23 Apr 2009 12:17:51 +0200 | haftmann | stripped $Id$ | changeset | files |
| Thu, 23 Apr 2009 12:17:50 +0200 | haftmann | avoid local [code] | changeset | files |
| Wed, 22 Apr 2009 19:16:02 +0200 | haftmann | dropped duplication | changeset | files |
| Wed, 22 Apr 2009 19:12:15 +0200 | haftmann | code_datatype and power | changeset | files |
| Wed, 22 Apr 2009 19:09:25 +0200 | haftmann | tuned | changeset | files |
| Wed, 22 Apr 2009 19:09:23 +0200 | haftmann | code_datatype antiquotation; tuned | changeset | files |
| Wed, 22 Apr 2009 19:09:22 +0200 | haftmann | more localisation | changeset | files |
| Wed, 22 Apr 2009 19:09:21 +0200 | haftmann | power operation defined generic | changeset | files |
| Wed, 22 Apr 2009 19:09:19 +0200 | haftmann | fixed compilation of predicate types in ML environment | changeset | files |
| Tue, 21 Apr 2009 15:48:02 +0200 | haftmann | merged | changeset | files |
| Mon, 20 Apr 2009 16:28:13 +0200 | haftmann | merged | changeset | files |
| Mon, 20 Apr 2009 15:24:57 +0200 | haftmann | empty page leads to results on duplex printers as expected | changeset | files |
| Mon, 20 Apr 2009 09:52:16 +0200 | haftmann | changes in power operations | changeset | files |