Timeline
May 26, 2009:
- 11:41 PM Ticket #137 (Add output highlighting/insert support for Isar and sledgehammer ...) closed by
- fixed: Fixed. See also #267.
- 11:39 PM Ticket #264 (GNU Emacs 22.2.1 (SuSE): tty fails) closed by
- worksforme: I can't repeat this. On current CVS head, Emacs tty starts fine for …
- 3:04 PM Ticket #229 (Restore mouse and button actions in goals buffers) closed by
- fixed: Sendback facility has been restored. Does anyone use anything else?
- 2:58 PM Ticket #191 (Code cleanup: remove proof-no-command) closed by
- wontfix: Seems a bit pointless.
- 2:45 PM Ticket #237 (Odd behaviour of C-w in script buffers) closed by
- needmoreinfo: Does this still happen with current Emacs.app and PG CVS?
- 2:40 PM Ticket #222 (Urgent messages override errors) closed by
- needmoreinfo: This needs some discussion. The current model in PG Emacs is to …
- 2:23 PM Ticket #187 (If sent command fails, don't move the cursor.) closed by
- fixed: "Never Move" is now properly obeyed. You might like to mix the …
- 2:05 PM Ticket #235 (Emacs forgets unicode tokens option) closed by
- fixed: This seems to be fixed now (works for me). Could you reopen if still …
- 2:02 PM Ticket #206 (Special markup not processed in minibuffer messages (warnings etc.)) closed by
- fixed: OK: the plain output is now sent to the minibuffer. Markup is …
- 1:48 PM Ticket #266 (Limited hilite markup (in Isabelle)) closed by
- fixed: This turns out to be due to `jit-lock-chunk-size' which defaults to …
- 10:42 AM Ticket #267 (Isabelle sendback markup dysfunctional) closed by
- fixed: Fixed now: the "send back" feature has been restored based on font …
May 25, 2009:
- 11:25 PM Ticket #268 (Hiding proofs wrong with Coq) closed by
- fixed: Should be fixed now in CVS. Thanks for reports.
- 10:10 PM Ticket #269 (Aquamacs key bindings don't work) closed by
- needmoreinfo: Thanks for the report. I don't know why that would happen. …
May 15, 2009:
- 1:59 PM Ticket #269 (Aquamacs key bindings don't work) created by
- Aquamacs defines various key bindings that are more familiar to Mac …
Apr 30, 2009:
- 4:38 PM Ticket #265 (Cannot open load file: easymenu) closed by
- invalid: Thanks for the report: it sounds like your Emacs package is broken. …
Apr 22, 2009:
- 9:22 AM Ticket #268 (Hiding proofs wrong with Coq) created by
- Hi, When using PG with Coq, several bugs happen: 1) comments …
Mar 31, 2009:
- 10:14 PM Ticket #267 (Isabelle sendback markup dysfunctional) created by
- The "sendback" markup in Isabelle no longer works. For example: …
- 10:08 PM Ticket #266 (Limited hilite markup (in Isabelle)) created by
- When printing text with "hilite" markup the outcome appears to depend …
- 6:16 PM Ticket #265 (Cannot open load file: easymenu) created by
- This is GNU Emacs 22.1.1 on Cygwin. Here startup fails: {{{Cannot …
- 5:10 PM Ticket #263 (proof-shell-trace-output-regexp in trace output) closed by
- fixed: Works after adding special "V" to invisible parts of …
- 4:26 PM Ticket #206 (Special markup not processed in minibuffer messages (warnings etc.)) reopened by
- 4:25 PM Ticket #264 (GNU Emacs 22.2.1 (SuSE): tty fails) created by
- GNU Emacs 22.2.1 (x86_64-suse-linux-gnu) of 2008-09-12 on hammer22 …
- 4:05 PM Ticket #263 (proof-shell-trace-output-regexp in trace output) created by
- proof-shell-trace-output-regexp appears visually in the
*trace*
…
Note: See TracTimeline
for information about the timeline view.