diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 10:07:23 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 10:07:23 +0100 |
commit | 8e9d1421354d55bc2ea71e37715a19d33cc9bc9c (patch) | |
tree | ec38dd5eac6843ce61e3e499a359eb103f15cb3d /dev/README | |
parent | 2a47eae1c4556a34ecf91a27f756e299dfe18a98 (diff) | |
parent | d9cb50d8f9b2bb16ddf7c27c146e09d7de33b90f (diff) |
Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.
Diffstat (limited to 'dev/README')
-rw-r--r-- | dev/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev/README b/dev/README index 6b83579de..453f85f0d 100644 --- a/dev/README +++ b/dev/README @@ -40,7 +40,11 @@ Documentation of ML interfaces using ocamldoc (directory ocamldoc/html) Other development tools (directory tools) ----------------------- +coqdev.el: helper customizations for everyday Coq development, eg + making `compile' work in subdirectories + objects.el: various development utilities at emacs level + anomaly-traces-parser.el: a .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs *compilation* output. |