Timeline
Aug 14, 2009:
- 10:21 AM Ticket #271 (Special characters in Isabelle identifiers missing?) closed by
- fixed: OK, I've looked a bit more closely: this was actually an …
Aug 10, 2009:
Aug 8, 2009:
- 9:55 PM Ticket #271 (Special characters in Isabelle identifiers missing?) created by
- In prover output, the special characters ? and ' seem to be missing. …
- 9:34 PM Ticket #270 (Odd PG/Trac link) created by
- 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
- fixed
- 2:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) closed by
- fixed: Pretty much complete.
- 1:34 PM Ticket #218 (Add documentation for Isabelle settings) closed by
- fixed
- 1:27 PM Ticket #234 (unicode-tokens: add command to highlight unicode characters) closed by
- 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
- 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. …
Note: See TracTimeline
for information about the timeline view.