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

Did this change wrt. the last release?


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