diff options
author | 2019-04-18 14:13:16 -0400 | |
---|---|---|
committer | 2019-04-18 14:13:16 -0400 | |
commit | 99e47d394539da4cb5a7b4c628831ed1e41adcd1 (patch) | |
tree | cddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 /x-symbol/etc/pcf/xsymb0_14sub.pcf | |
parent | 8f90ac961c22099a615c03ed07576aaef820e06d (diff) |
prog-mode [1] is the base mode for programming that comes with Emacs:
“All major modes for programming languages should derive from this mode
so that users can put generic customization on prog-mode-hook.” Make
proof-mode derive from prog-mode, reflecting its status as a programming
mode.
[1] a18336a8dc754fa1c68e16dd8009466cf409271b">https://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/progmodes/prog-mode.el?id=a18336a8dc754fa1c68e16dd8009466cf409271b
Diffstat (limited to 'x-symbol/etc/pcf/xsymb0_14sub.pcf')
0 files changed, 0 insertions, 0 deletions