Re: [isabelle] Emacs hurts



On Thu, Aug 30, 2012 at 12:24 PM, René Neumann <rene.neumann at in.tum.de>wrote:

> 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.
>

One way would be to use vim-like digraphs (ctrl-k /\).


>
> 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.