Re: [isabelle] Emacs hurts



Am 29.08.2012 20:49, schrieb Christoph LANGE:
> 2012-08-29 20:31 Makarius:
>> Too much Escape-Meta-Alt-Control-Shift can damage your fingers.  This is
>> actually a serious issue that is right now discussed on Coq-club
>> https://sympa.inria.fr/sympa/arc/coq-club/2012-08/msg00092.html
> 
> I won't subscribe to this list now, so let me mention my two cents here:
>  Emacs with Emacs keybindings hurts.  Emacs as an operating system is
> great.  I'm using it with vi keybindings.  Not the outdated Viper that
> some of you may have heard of, but the vim-like evil
> (http://gitorious.org/evil). 

Thanks for this pointer! How did you manage to make the token shortcuts
work again in evil (i.e. that --> inserts \<longrightarrow>, !! inserts
\<And> etc.)? This seems not to work out of the box.

Thanks,
René

-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.