| Tue, 09 Jan 2018 20:03:14 +0100 | wenzelm | uniform typesetting of \isamarkupcmt and \isasymcomment; | changeset | files |
| Tue, 09 Jan 2018 19:25:01 +0100 | wenzelm | more accurate position for enclosing cartouche; | changeset | files |
| Tue, 09 Jan 2018 18:30:21 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 09 Jan 2018 18:18:21 +0100 | wenzelm | clarified signature; | changeset | files |
| 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 |