| Fri, 07 Aug 2015 14:55:35 +0200 | wenzelm | proper Symbol.decode/encode; | changeset | files |
| Fri, 07 Aug 2015 14:46:56 +0200 | wenzelm | eval ML context; | changeset | files |
| Fri, 07 Aug 2015 11:44:11 +0200 | wenzelm | maintain history more often; | changeset | files |
| Thu, 06 Aug 2015 23:20:15 +0200 | wenzelm | approximate old selection after update; | changeset | files |