| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | shortened interface (do not export unused options and functions) | changeset | files |
| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | always unfold definitions of specific constants (including special binders) | changeset | files |
| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | shorten the code by conditional function application | changeset | files |
| Wed, 07 Apr 2010 20:38:11 +0200 | boehmes | fail for problems containg the universal sort (as those problems cannot be atomized) | changeset | files |