| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Emacs has some standard settings which configure the syntax of major
modes. The main setting is the syntax table, which determines the
syntax of programming elements such as strings, comments, and
parentheses. To configure the syntax table, you can either write calls
to modify-syntax-entry in your mode functions, or set the
following variables to contain the tables for each mode. (The main mode
to be concerned about is of course the proof script, where user editing
takes place).
List of syntax table entries for proof script mode.
A flat list of the form
(char syncode char syncode ...)
See doc of ‘modify-syntax-entry’ for details of characters
and syntax codes.
At present this is used only by the ‘proof-easy-config’ macro.
List of syntax table entries for proof script mode.
A flat list of the form
(char syncode char syncode ...)
See doc of ‘modify-syntax-entry’ for details of characters
and syntax codes.
At present this is used only by the ‘proof-easy-config’ macro.
Some additional useful settings are:
Non-nil if nested comments should be quoted. This should be locally set by each major mode if needed. The default setting is non-nil: modes which allow nested comments may set this to nil.
Regular expression to match the beginning of a heading. Any line whose beginning matches this regexp is considered to start a heading.
Regular expression to match the beginning of a heading. Any line whose beginning matches this regexp is considered to start a heading.
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated on September 25, 2013 using texi2html 5.0.