Re: [isabelle] New error messages in Isabelle 2013



On 31/01/13 06:32, Joachim Breitner wrote:
> But
> since you mention keyboard I’d like to add that, for the sake of the
> wrists of your users, please ensure that every feature is accessible
> without touching the mouse. Keyboard-only control is crucial for
> efficient and ergonomic use of any computer application¹.

This is also important for accessibility for blind users, for example.

Tim
<><

Attachment: signature.asc
Description: OpenPGP digital signature



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