diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 17:32:20 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 17:32:20 +0100 |
commit | ba1187827393aa651b2814d513749b43d0bcc772 (patch) | |
tree | cb44a3f3c54d93a45ac8bf280c940f7f18b73f18 /CHANGES | |
parent | 4558ea05882f4b207d1de0224a04aa995d423701 (diff) |
updating CHANGES
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -65,6 +65,16 @@ the GIT ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. | S n => ... end +*** indentation of ";" tactical: + by default the indentation is like this: + tac1; + tac2; + tac3. + do this: (setq coq-indent-semicolon-tactical 0) to have this: + tac1; + tac2; + tac3. + *** indentation now supports { at end of line: example: |