| Fri, 19 Jan 2018 19:09:25 +0100 | wenzelm | more uniform output of source / text / theory_text, with handling of formal comments etc.; | changeset | files |
| Fri, 19 Jan 2018 15:20:13 +0100 | wenzelm | sort completion result; | changeset | files |
| Fri, 19 Jan 2018 15:14:43 +0100 | wenzelm | recovered antiquotation check without latex mode (cf. dfc93f2b01ea); | changeset | files |