| Sun, 10 Jan 2016 19:46:31 -0800 | kleing | print_record NEWS and CONTRIBUTORS | changeset | files |
| Sun, 10 Jan 2016 19:37:21 -0800 | kleing | print_record: diagnostic printing of record definitions | changeset | files |
| Mon, 11 Jan 2016 00:04:23 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 10 Jan 2016 23:25:11 +0100 | wenzelm | prune old versions more often, to reduce overall heap requirements; | changeset | files |
| Sat, 09 Jan 2016 22:22:17 +0100 | wenzelm | generate HTML version of NEWS, with proper symbol rendering; | changeset | files |
| Sat, 09 Jan 2016 22:00:22 +0100 | wenzelm | tuned -- according to ML version; | changeset | files |
| Sat, 09 Jan 2016 20:56:00 +0100 | wenzelm | suppress somewhat pointless description (NB: this is displayed in 'print_methods'); | changeset | files |