Timeline
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*…
Mar 10, 2009:
- 10:33 AM Ticket #262 (make jobserver unavailable) closed by
- fixed: Fixed. Many thanks for reporting.
Note: See TracTimeline
for information about the timeline view.
