| Wed, 15 Apr 2015 13:55:01 +0200 | wenzelm | GUI controls for ML_statistics, for more digestible protocol dump; | changeset | files |
| Wed, 15 Apr 2015 11:47:29 +0200 | wenzelm | more robust error handling of commands that are declared but not yet defined; | changeset | files |
| Tue, 14 Apr 2015 22:54:07 +0200 | wenzelm | NEWS; | changeset | files |