Re: [isabelle] Isabelle2013-1-RC4 available for testing



I would like to raise attention to the following timing problem with keyboard events vs. completion popup focus:
https://bitbucket.org/isabelle_project/isabelle-release/issue/22/underscore-swallowed-when-autocompletion

Is Joachim Breitner just very fast in typing, or did other people experience the same?


	Makarius




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