[isabelle-dev] numpad doesn't work

Ondřej Kunčar kuncar at in.tum.de
Thu Aug 29 12:38:49 CEST 2013

Previous message (by thread): [isabelle-dev] support for ideas using isabelle hol
Next message (by thread): [isabelle-dev] numpad doesn't work
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This refers to 3c26a7042d8e. The numpad stopped working in JEdit. 
Reproducible on my machine and also on Dmitriy's machine. We use Linux.

Ondrej

Previous message (by thread): [isabelle-dev] support for ideas using isabelle hol
Next message (by thread): [isabelle-dev] numpad doesn't work
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list