Custom Query (361 matches)
Results (70 - 72 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#166 | fixed | Out of sync on illegal escape character | ||
Description |
PG-Emacs: 3.7pre071112 Isabelle: 2007 Here is a reproducible way to get ProofGeneral 3.7pre071112 out of sync with the isabelle2007 process, simply process this theory: theory Scratch imports Main begin
end This happens quite often if you insert latex in your formal comment and forget to convert "..." to {*...*} syntax. Having to restart Isabelle each time is annoying for large theories. |
|||
#167 | invalid | GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works | ||
Description |
I use Isabelle 2007 with PG 3.7pre071112 under GNU Emacs 22.1.1 (i586-suse-linux-gnu, GTK+ Version 2.12.0) of 2007-11-24 on dede (part of opeSUSE 10.3). The undo facility for proof steps works from the keyboard (C-c C-u), but not twice in a row when klicking on the Undo button on the tool bar of Emacs. One may alternate C-c C-u and the Undo button, though. Yours sincerely, Ralph Matthes www.irit.fr/~Ralph.Matthes/ |
|||
#168 | fixed | Reorganise TODO files in distribution | ||
Description |
Most of the TODO/todo files are obsolete. Some may have tasks worth undertaking and adding to trac |