diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-23 17:50:42 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-06-23 17:50:42 +0200 |
| commit | 275437930fa267a31ab128b4694bd4b8b884dc70 (patch) | |
| tree | d976af91dfd619f6843ac35c26b3c34f610334ce /CHANGES | |
| parent | c3045ae70eef22a583cec6f521714119f9b09970 (diff) | |
Updating CHANGES.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -120,6 +120,12 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. To disable this feature use: (setq coq-optimise-resp-windows-enable nil) +*** Option to prefer top of conclusion instead of bottom + + When display goals that do not fit in the goals window, PG prefers + to display the bottom of the goal (where lies it own conclusion. + You can make it prefer the top of the conclusion by setting this: + (setq coq-prefer-top-of-conclusion t) *** Colors in response and goals buffers |