Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq and RSI

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq and RSI


Chronological Thread 
  • From: "J. Ian Johnson" <ianj AT ccs.neu.edu>
  • To: Stefan Monnier <monnier AT IRO.UMontreal.CA>
  • Cc: Thomas Braibant <thomas.braibant AT gmail.com>, coq-club <coq-club AT inria.fr>, "J. Ian Johnson" <ianj AT ccs.neu.edu>
  • Subject: Re: [Coq-Club] Coq and RSI
  • Date: Tue, 28 Aug 2012 16:12:15 -0400 (EDT)

And yet you still have to quote switch-hyphen. The terrors of emacs lisp.
-Ian
----- Original Message -----
From: "Stefan Monnier"
<monnier AT IRO.UMontreal.CA>
To: "J. Ian Johnson"
<ianj AT ccs.neu.edu>
Cc: "Thomas Braibant"
<thomas.braibant AT gmail.com>,
"coq-club"
<coq-club AT inria.fr>
Sent: Tuesday, August 28, 2012 4:03:54 PM GMT -05:00 US/Canada Eastern
Subject: Re: [Coq-Club] Coq and RSI

> (define-key coq-mode-map (kbd "-") '(lambda () (interactive) (insert
> "_")))
> (define-key coq-mode-map (kbd "_") '(lambda () (interactive) (insert
> "-"))))

BTW, those (lambda ..) sexps are functions (rather than mere data)
so don't quote them.


Stefan



Archive powered by MHonArc 2.6.18.

Top of Page