| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | changeset | files |
| Mon, 06 Apr 2015 16:30:44 +0200 | wenzelm | clarified command keyword markup; | changeset | files |
| Mon, 06 Apr 2015 16:00:19 +0200 | wenzelm | more position information and PIDE markup for command keywords; | changeset | files |
| Mon, 06 Apr 2015 14:09:31 +0200 | wenzelm | allow prefix before keyword, notably 'private'; | changeset | files |