diff options
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -15,6 +15,11 @@ ** Generic changes +*** Follow mode: add "followdown" setting + +In this mode, the point moves with the locked region when it moves +down in the buffer (processing). For undo, the point does not move. + *** Options and proof assistant settings improvements Facility to reset to default values added, and saving |
