[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

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

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by David Aspinall on October 19, 2012 using texi2html 1.82.