| Thu, 11 Dec 2014 14:01:40 +0100 | traytel | respect order of deads when retrieving bnfs from the database | changeset | files |
| Wed, 10 Dec 2014 20:56:33 +0100 | wenzelm | merged | changeset | files |
| Wed, 10 Dec 2014 20:51:27 +0100 | wenzelm | more informative gutter content: fall-back on background color, e.g. when line numbers are enabled; | changeset | files |
| Wed, 10 Dec 2014 19:26:01 +0100 | wenzelm | more examples; | changeset | files |
| Wed, 10 Dec 2014 19:24:54 +0100 | wenzelm | more careful handling of auxiliary environment structure -- allow nested ML evaluation; | changeset | files |
| Wed, 10 Dec 2014 17:55:31 +0100 | wenzelm | more markup for improper situations; | changeset | files |
| Wed, 10 Dec 2014 13:45:44 +0100 | wenzelm | more explicit markup for improper commands; | changeset | files |