| Tue, 09 Jan 2018 17:58:35 +0100 | wenzelm | clarified presentation_state with provide presentation_context; | changeset | files |
| Tue, 09 Jan 2018 17:40:25 +0100 | wenzelm | show only symbols with code; | changeset | files |
| Tue, 09 Jan 2018 17:09:34 +0100 | wenzelm | clarified markup: more like outer syntax side-comment; | changeset | files |
| Tue, 09 Jan 2018 16:25:35 +0100 | wenzelm | clarified rail token language: white space and formal comments; | changeset | files |