Custom Query (361 matches)
Results (10 - 12 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#237 | needmoreinfo | Odd behaviour of C-w in script buffers | ||
Description |
On Emacs.app in a .thy file ctrl-w will only kill if the region was selected using ctrl-space and cursor keys, not if selected by mouse. Instead I get an error beep. I thought this might be normal on Gnu Emacs, but I now noticed that in other buffers, ctrl-w kills regardless of how the region was selected. |
|||
#269 | needmoreinfo | Aquamacs key bindings don't work | ||
Description |
Aquamacs defines various key bindings that are more familiar to Mac users, e.g. cmd-C for copy, cmd-V for paste, etc. These don't work in Proof General. How come? |
|||
#299 | needmoreinfo | Out of sync with Isabelle | ||
Description |
When working within Isar proofs ProofGeneral and Isabelle get out of sync from time to time (approx. 3-5 times during a working day). Old school recover with an 'Enter' in the isabelle-shell-buffer does not help. Retract buffer works but is quite annoying. |