diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-04-18 14:13:16 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-04-18 14:13:16 -0400 |
| commit | 99e47d394539da4cb5a7b4c628831ed1e41adcd1 (patch) | |
| tree | cddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 /isar/ex/KnasterTarski.thy | |
| 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 'isar/ex/KnasterTarski.thy')
0 files changed, 0 insertions, 0 deletions