9. Configuring Editing Syntax

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).

Variable: proof-script-syntax-table-entries

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.

Variable: proof-shell-syntax-table-entries

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:

Variable: comment-quote-nested

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.

Variable: outline-regexp

Regular expression to match the beginning of a heading. Any line whose beginning matches this regexp is considered to start a heading.

Variable: outline-heading-end-regexp

Regular expression to match the beginning of a heading. Any line whose beginning matches this regexp is considered to start a heading.

This document was generated by David Aspinall on November, 7 2006 using texi2html 1.76.