| Tue, 16 Apr 2019 19:50:09 +0000 | haftmann | integrated Bit_Comparison into Word corpus | changeset | files |
| Tue, 16 Apr 2019 19:50:07 +0000 | haftmann | tuned | changeset | files |
| Tue, 16 Apr 2019 19:50:05 +0000 | haftmann | prefer one theory for misc material | changeset | files |
| Tue, 16 Apr 2019 19:50:03 +0000 | haftmann | moved instance to appropriate place | changeset | files |
| Tue, 16 Apr 2019 20:00:14 +0200 | wenzelm | tuned for release; | changeset | files |
| Tue, 16 Apr 2019 19:42:56 +0200 | wenzelm | clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6); | changeset | files |