| Fri, 16 Feb 2018 14:10:37 +0100 | wenzelm | more operations; | changeset | files |
| Thu, 15 Feb 2018 17:08:25 +0100 | wenzelm | auxiliary operation for space profiling; | changeset | files |
| Sat, 03 Feb 2018 09:11:21 +0000 | haftmann | special treatment of 0 only refers to type char | changeset | files |