Timeline



Aug 20, 2010:

6:21 PM Ticket #340 (Key binding syntax in proof-splash.el) created by Erik Martin-Dorel
When I do [C-h m] in the ProofGeneral splash screen, I see the …
12:31 AM Ticket #294 (Make pg-protected-undo allow in undo in comments of locked region) closed by David Aspinall
fixed: Fixed, thanks to patch of Erik Martin-Dore
12:07 AM Ticket #339 (Infinite loop on module print with coq-8.3) closed by David Aspinall
needmoreinfo: Strange! Thanks for the report and small example. Unfortunately …

Aug 19, 2010:

2:04 PM Ticket #339 (Infinite loop on module print with coq-8.3) created by Paolo Herms
When I try to process the following with coq 8.3 beta, emacs freezes …
10:39 AM Ticket #338 (Report Emacs bug: subscript and superscripts don't work with native ...) created by David Aspinall
See discussion in #280. This is not a fault of Proof General but of …

Aug 18, 2010:

4:20 PM MacBook created by David Aspinall
3:06 PM Ticket #326 (Strange warnings on Emacs for Mac OS X) closed by David Aspinall
invalid: Seems likely to be an Emacs issue: …
8:42 AM Ticket #337 (C-c C-a h is undefined) closed by Generic Isabelle user
duplicate: Duplicate of #334
1:41 AM Ticket #337 (C-c C-a h is undefined) created by igloo
When I use proof general with Isabelle, the "Isabelle/Show? me …

Aug 17, 2010:

7:55 PM Ticket #336 (Toolbar images on Mac Emacsen are super-ugly) created by David Aspinall
White background! Also seem to be magnified.
7:52 PM Ticket #335 (Script management: old-style undo broken in Isar) created by David Aspinall
Script management loses sync when Isabelle -> Settings -> Use Linear …
6:23 PM Ticket #332 (Minibuffer display of first line of urgent messages lost?) closed by David Aspinall
invalid: It's now an option to reduce noise. Enable with Quick Options -> …
6:19 PM Ticket #333 (Restart tool button points to manual) closed by David Aspinall
worksforme: Strange. Can't repeat this in Ubuntu 10.04, 23.1.1. What is precise …
6:17 PM Ticket #334 (Broken Keybindings for Show Me -> ... and others) closed by David Aspinall
fixed: Fixed, many thanks for reporting. I think the bindings used an XEmacs …
2:59 PM Ticket #334 (Broken Keybindings for Show Me -> ... and others) created by Generic Isabelle user
Using Proof General 4.0pre100709, 4.0pre100815 or 3.7.11 and Gnu Emacs …

Aug 16, 2010:

8:03 PM Ticket #333 (Restart tool button points to manual) created by Makarius
This is Xubuntu 10.04 LTS, GNU Emacs 23.1.1. In the toolbar, the …
8:01 PM Ticket #332 (Minibuffer display of first line of urgent messages lost?) created by Makarius
This is Xubuntu 10.04 LTS, GNU Emacs 23.1.1. It seams that the …
12:12 AM Ticket #330 (Error raised by proof-issue-goal and proof-issue-save) closed by David Aspinall
fixed: Fixed, many thanks for making the report. (please note: this Trac …
12:00 AM Ticket #331 (Coq config for proof-goal-command and proof-save-command) closed by David Aspinall
fixed: Done, thanks.

Aug 14, 2010:

10:58 AM Ticket #331 (Coq config for proof-goal-command and proof-save-command) created by Erik Martin-Dorel
The convenient functions proof-issue-goal and proof-issue-save

Aug 13, 2010:

11:51 PM Ticket #330 (Error raised by proof-issue-goal and proof-issue-save) created by Erik Martin-Dorel
When I run the function proof-issue-goal or proof-issue-save (e.g. …

Aug 11, 2010:

9:06 PM Ticket #288 (Splash screen misbehaves) closed by David Aspinall
fixed: Fixed by reverting to a version of the original code. Experimenting …
12:24 AM Ticket #329 (Unwanted kill-buffer at startup) closed by David Aspinall
duplicate: Thanks for making the report, it is appreciated. This is a symptom of …

Aug 7, 2010:

12:02 PM Ticket #329 (Unwanted kill-buffer at startup) created by Erik Martin-Dorel
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 Makarius
4:26 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) closed by Makarius
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 Makarius
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 Makarius
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 Makarius
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 Makarius
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 David Aspinall
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 Evgeny Makarov
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 Makarius
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 David Aspinall
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 David Aspinall
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 Makarius
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 Makarius

Jul 1, 2010:

11:21 PM Ticket #323 (Strange errors of make compile concerning save-excursion/set-buffer) closed by David Aspinall
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 David Aspinall
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 Makarius
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 David Aspinall
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 David Aspinall
needmoreinfo: Can't reproduce this without a concrete example. I am seeing sync …
Note: See TracTimeline for information about the timeline view.