Re: [isabelle] Isabelle2014-RC0 available for testing



Dear Makarius,

Am Mittwoch, den 09.07.2014, 17:34 +0200 schrieb Makarius:
> On Tue, 8 Jul 2014, Joachim Breitner wrote:
> 
> >  * It is irritating that auto-completion does not work when there is a
> >    letter following the cursor. But maybe I just need to get used to
> >    that.
> 
> Did this change wrt. the last release?

yes: With 2013 I can put the cursor between a and b in abc and enter
\alp to get aαbc.With 2014, I get a\alpbc.

Greetings,
Joachi

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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