From d974365ef5928048edb87af218f6105ae454c3b6 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer
Date: Thu, 25 Jun 2015 10:48:03 +0200
Subject: dev/tool/anomaly-traces-parser.el

An .emacs-ready elisp snippet to parse location of Anomaly backtraces
and jump to them conveniently from the Emacs *compilation* output.
---
 dev/README | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev/README')

diff --git a/dev/README b/dev/README
index 5edf64c8f2..814f609576 100644
--- a/dev/README
+++ b/dev/README
@@ -45,3 +45,6 @@ Makefile.subdir: makefile dedicated to intensive work in a given subdirectory
 Makefile.devel: utilities to automatically launch coq in various states
 Makefile.common: used by other Makefiles
 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.
-- 
cgit v1.2.3