Custom Query (361 matches)
Results (25 - 27 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #333 | worksforme | Restart tool button points to manual | ||
| Description |
This is Xubuntu 10.04 LTS, GNU Emacs 23.1.1. In the toolbar, the "restart" button (two twisted arrows) attempt to show the manual, like the button with the PG head to the right. |
|||
| #335 | worksforme | Script management: old-style undo broken in Isar | ||
| Description |
Script management loses sync when Isabelle -> Settings -> Use Linear Undo is disabled. Seems to be partly to do with regexp matching, but also a fault in counting. |
|||
| #413 | worksforme | Clicking on Find icon does not bring up input buffer | ||
| Description |
This problem may be due to my inexperience with emacs and/or proof general and/or isabelle, but I think at the very least it's a user-friendliness issue. I'm trying to follow the directions in the Isabelle tutorial at http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdf in section 3.1.11--Finding Theorems. I load the ToyList.thy that I copied from Figure 2.1, and I process all of the proof commands in that theory. Then I press the "Find" icon. The toolbar changes and the ToyList.thy buffer seems to lose focus, but when I type, no text appears, and I cannot find a buffer that will let me enter my search text. I'm running proof general Version 4.1pre101216 on GNU Emacs 23.2.1 (i686-pc-linux-gnu, GTK+ Version 2.24.4), running on Ubuntu 11.04. |
|||
