Timeline



Aug 17, 2009:

5:41 PM Ticket #179 (Losing sync with interrupt) closed by David Aspinall
fixed: OK, the behaviour in PG is now improved so that it notices "pending" …
2:54 PM Ticket #272 (Port identifier completion code from PG Eclipse.) created by David Aspinall
This would be very useful for Isabelle, which already supports the …
2:51 PM Ticket #188 (Option to treat comments as individual statements.) closed by David Aspinall
fixed: There's a new option 'Retract on Edit' which allows you to edit some …
1:32 PM Ticket #192 (Improve out-of-the-box behaviour for some common configurations) closed by David Aspinall
wontfix: Let's put this one to sleep as wontfix for now: * downstream …

Aug 14, 2009:

10:21 AM Ticket #271 (Special characters in Isabelle identifiers missing?) closed by David Aspinall
fixed: OK, I've looked a bit more closely: this was actually an …

Aug 10, 2009:

2:51 PM Ticket #270 (Odd PG/Trac link) closed by David Aspinall
fixed

Aug 8, 2009:

9:55 PM Ticket #271 (Special characters in Isabelle identifiers missing?) created by Makarius
In prover output, the special characters ? and ' seem to be missing. …
9:34 PM Ticket #270 (Odd PG/Trac link) created by Makarius
There is an odd link on http://proofgeneral.inf.ed.ac.uk/devel --- the …

Jul 30, 2009:

5:23 PM Ticket #232 (Add documentation for Unicode Tokens mode) closed by David Aspinall
fixed
2:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) closed by David Aspinall
fixed: Pretty much complete.
1:34 PM Ticket #218 (Add documentation for Isabelle settings) closed by David Aspinall
fixed
1:27 PM Ticket #234 (unicode-tokens: add command to highlight unicode characters) closed by David Aspinall
fixed: This was added in version 10.3 of lib/unicode-tokens.el

May 26, 2009:

11:41 PM Ticket #137 (Add output highlighting/insert support for Isar and sledgehammer ...) closed by David Aspinall
fixed: Fixed. See also #267.
11:39 PM Ticket #264 (GNU Emacs 22.2.1 (SuSE): tty fails) closed by David Aspinall
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 David Aspinall
fixed: Sendback facility has been restored. Does anyone use anything else?
2:58 PM Ticket #191 (Code cleanup: remove proof-no-command) closed by David Aspinall
wontfix: Seems a bit pointless.
2:45 PM Ticket #237 (Odd behaviour of C-w in script buffers) closed by David Aspinall
needmoreinfo: Does this still happen with current Emacs.app and PG CVS?
2:40 PM Ticket #222 (Urgent messages override errors) closed by David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
fixed: Should be fixed now in CVS. Thanks for reports.
10:10 PM Ticket #269 (Aquamacs key bindings don't work) closed by David Aspinall
needmoreinfo: Thanks for the report. I don't know why that would happen. …
Note: See TracTimeline for information about the timeline view.