Back to bug 431210
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| rwgardner | 2012-08-13 12:52:34 UTC | Attachment #321198 Attachment is obsolete | 0 | 1 |
| jer | 2012-08-14 12:49:44 UTC | Assignee | bug-wranglers | emacs |
| Summary | proofgeneral-4.1 emerge failure with emacs-24.1 [-*] | app-emacs/proofgeneral-4.1 with app-editors/emacs-24.1 [-*] - In toplevel form: isar/isabelle-system.el:295:49:Error: called-interactively-p called with 1 argument, but accepts only 0 | ||
| ulm | 2012-08-14 13:21:20 UTC | Resolution | --- | INVALID |
| Summary | app-emacs/proofgeneral-4.1 with app-editors/emacs-24.1 [-*] - In toplevel form: isar/isabelle-system.el:295:49:Error: called-interactively-p called with 1 argument, but accepts only 0 | app-emacs/proofgeneral-4.1 with Emacs 23.1 - In toplevel form: isar/isabelle-system.el:295:49:Error: called-interactively-p called with 1 argument, but accepts only 0 | ||
| Status | UNCONFIRMED | RESOLVED |
Back to bug 431210