Re: [isabelle] Isabelle2014-RC0 available for testing



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?


	Makarius





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