| Tue, 02 Feb 2010 21:23:20 +0100 | ballarin | Clarified invariant; tuned. | changeset | files |
| Mon, 01 Feb 2010 21:59:27 +0100 | ballarin | More mixin tests. | changeset | files |
| Mon, 01 Feb 2010 21:55:00 +0100 | ballarin | Use serial to be more debug friendly. | changeset | files |
| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | buffered output (faster than direct output) | changeset | files |
| Wed, 07 Apr 2010 20:40:42 +0200 | boehmes | simplified Cache_IO interface (input is just a string and not already stored in a file) | changeset | files |
| 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 |