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:
Is Joachim Breitner just very fast in typing, or did other people
experience the same?
This archive was generated by a fusion of
Pipermail (Mailman edition) and