Timeline
Aug 7, 2010:
- 12:02 PM Ticket #329 (Unwanted kill-buffer at startup) created by
- Hi, I have noticed that when I run ProofGeneral, i.e. at the time I …
Aug 6, 2010:
- 4:43 PM Ticket #324 (Script management very slow on some platforms) reopened by
- 4:26 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) closed by
- invalid: I have tried again on a completely different installation of Ubuntu …
Aug 4, 2010:
- 6:39 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) reopened by
- Er, well this is Emacs 23.1.1, not Emacs 22. This is the standard GNU …
- 1:25 AM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) closed by
- invalid: I tried briefly to reproduce this but couldn't. Would likely need …
- 1:15 AM Ticket #327 (Elisp stack overflow when retracting many files at once) closed by
- fixed: Hmm, thought I had fixed this already in #274. but forgot Emacs Lisp …
- 1:01 AM Ticket #324 (Script management very slow on some platforms) closed by
- needmoreinfo: There is now a mechanism for testing and profiling triggered by "make …
Aug 3, 2010:
- 8:32 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) created by
- This is GNU Emacs 23.1.1 on Xubuntu 9.10. Visiting (or revisiting) a …
- 5:28 PM Ticket #327 (Elisp stack overflow when retracting many files at once) created by
- This is Emacs 23.2.1 on Mac OS X (no-nonsense version), or GNU Emacs …
- 4:53 PM Ticket #326 (Strange warnings on Emacs for Mac OS X) created by
- This is the "no-nonsense" version from http://emacsformacosx.com -- …
Jul 26, 2010:
- 10:02 AM Ticket #325 (Splash buffer occupies half the frame) closed by
- duplicate: Thanks for the report. I agree with what you say! This will be fixed …
Jul 24, 2010:
- 1:06 PM Ticket #325 (Splash buffer occupies half the frame) created by
- Hello, In the past, when PG was started, Emacs showed the splash …
Jul 11, 2010:
- 8:12 PM Ticket #324 (Script management very slow on some platforms) reopened by
- IIRC, the jEdit timing was on the same machine as the other "Mac OS X" …
Jul 9, 2010:
- 12:22 AM Ticket #324 (Script management very slow on some platforms) closed by
- needmoreinfo: Would be useful to know more, e.g., have some profiling information …
- 12:16 AM Ticket #323 (Strange errors of make compile concerning save-excursion/set-buffer) closed by
- fixed: Thanks for the log. I forgot to commit the remainder of the fixes. …
Jul 5, 2010:
- 5:19 PM Ticket #324 (Script management very slow on some platforms) created by
- Script management seems to be quite slow on some platforms / Emacs …
- 10:32 AM Ticket #323 (Strange errors of make compile concerning save-excursion/set-buffer) reopened by
Jul 1, 2010:
- 11:21 PM Ticket #323 (Strange errors of make compile concerning save-excursion/set-buffer) closed by
- fixed: OK, struggled a while with library mess and built latest Emacs and …
- 10:49 PM Ticket #314 (Duplication of some special messages) closed by
- fixed: Fix confirmed by a second person, so closing now.
- 4:39 PM Ticket #323 (Strange errors of make compile concerning save-excursion/set-buffer) created by
- This is GNU Emacs 23.2.1 on Mac OS. Byte-compilation via {{{make …
Jun 28, 2010:
- 8:44 AM Ticket #290 (Undo and delete for token input don't behave as expected) closed by
- fixed: Fixed, for now. Added some key bindings to delete tokens and undo …
Jun 27, 2010:
- 1:57 PM Ticket #321 (Retract buffer broken) closed by
- needmoreinfo: Can't reproduce this without a concrete example. I am seeing sync …
May 11, 2010:
- 11:27 PM Ticket #322 (Isabelle: "error in process filter: Wrong number of arguments" when ...) closed by
- invalid: Not a PG bug. This turned out to be a problem with CVS somehow …
Note: See TracTimeline
for information about the timeline view.