Variable: ebnf-production-name-p

ebnf-production-name-p is a customizable variable defined in ebnf2ps.el.gz.

Value

t

Documentation

Non-nil means production name will be printed.

This variable was added, or its default value changed, in Emacs 20.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/ebnf2ps.el.gz
(defcustom ebnf-production-name-p t
  "Non-nil means production name will be printed."
  :type 'boolean
  :version "20"
  :group 'ebnf-production)