[isabelle] Proof General 4+emacs 23.2: delete-selection-mode
I'm experiencing problems with delete-selection-mode in the PG version
shipped with the 2011-release of Isabelle.
I'm using emacs 23.2.1.
delete-selection-mode simply does not work, i.e. hitting the <delete>
key does not delete the selection, independent of the state of the
When starting emacs without proof general, everything works fine.
Has anyone a similar problem. Do you know a workaround?
This archive was generated by a fusion of
Pipermail (Mailman edition) and