Le 26/11/2010 15:17, Mehdi Dogguy a écrit : > This seems to be fixed in Coq 8.3 (in experimental). We will try to > backport a fix and ask the Release Team for an unblock.
Unfortunately, the emacs mode in v8.3 has completely changed, and I cannot guarantee that it works with v8.2: > tools/coq-db.el | 240 ++++++++++++ > tools/coq-font-lock.el | 137 +++++++ > tools/coq-syntax.el | 974 > ++++++++++++++++++++++++++++++++++++++++++++++++ > tools/coq.el | 58 +--- > 4 files changed, 1360 insertions(+), 49 deletions(-) Cheers, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
