| Wed, 15 Apr 2015 15:10:01 +0200 | noschinl | rewrite: add ML interface | changeset | files |
| Wed, 15 Apr 2015 15:57:58 +0200 | wenzelm | use wasysym for \<hole>; | changeset | files |
| Wed, 15 Apr 2015 15:27:45 +0200 | wenzelm | tuned signature, clarified modules; | changeset | files |
| Wed, 15 Apr 2015 14:54:25 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 15 Apr 2015 14:01:28 +0200 | wenzelm | obsolete (see also 94b2690ad494); | changeset | files |
| 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 |