aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/desktop/README
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@google.com>2019-04-18 14:13:16 -0400
committerGravatar Benjamin Barenblat <bbaren@google.com>2019-04-18 14:13:16 -0400
commit99e47d394539da4cb5a7b4c628831ed1e41adcd1 (patch)
treecddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 /etc/desktop/README
parent8f90ac961c22099a615c03ed07576aaef820e06d (diff)
Derive proof-mode from prog-modeHEADmaster
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 'etc/desktop/README')
0 files changed, 0 insertions, 0 deletions