diff options
| author | David Aspinall | 2011-09-19 11:18:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-09-19 11:18:28 +0000 |
| commit | 7c8fba84f83b5c32cc045fcbe6251fb531cb46dc (patch) | |
| tree | 0bad9b38947e0fbdb2b8720e1cd60adcb95c2a1d /etc | |
| parent | 19789105b0ddacbe73abc289c213ef64a4bba312 (diff) | |
Several improvements:
- explain how to use prefix commands for electric terminator as well as C-q
- update explanation of locked region and read only options
- explain colouring of modeline Scripting indicator
- improve document-centred explanation, giving short-cut commands first
- correct several uses of main menu "Proof General" to "Proof-General" with hyphen
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions