Context Navigation

Timeline

10:23 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) reopened by coquser: Replying to makarius: > This is GNU Emacs 23.1.1 on …

10:25 AM Ticket #454 (coq mode: compile before import fails when no .v file) created by courtieu: Some users use .vo files without having the corresponding .v files. …

12:38 PM Ticket #419 (Print Fully Explicit option gets out of sync after undoing before ...) closed by courtieu: fixed: I just removed this kind of command from the settings menu. I added a …
10:43 AM Ticket #446 (window-live-p error (coq, aquamacs)) closed by courtieu: fixed: This old bug is still opened. I close it. The problem of response …

11:07 AM Ticket #452 (Some Isabelle options enabled but not active) reopened by Makarius: To me it looks like the PGIP semantics have changed in recent years. …

4:52 PM Ticket #440 (User manual link on development page broken) closed by David Aspinall: fixed
4:51 PM WikiStart edited by David Aspinall: (diff)
4:51 PM WikiStart edited by David Aspinall: (diff)
4:46 PM Ticket #452 (Some Isabelle options enabled but not active) closed by David Aspinall: upstream: Confirmed, and thanks for reporting. But I believe this is a problem …
2:53 PM Ticket #453 (Sending too-large definitions gets stuck) closed by David Aspinall: upstream: Thanks for doing the detective work Hendrik! I'm closing this as …
2:33 PM Ticket #447 (Proof General stalls on long Ltac (Coq)) closed by David Aspinall: duplicate: See #453

9:44 PM Ticket #453 (Sending too-large definitions gets stuck) created by coquser: With a sufficiently large definition, as attached, Proof General never …
1:35 PM Ticket #450 (Proof in proof tree) closed by coquser: fixed: Fixed by ignoring Lemma, Definition and others and requiring that …

10:40 PM Ticket #442 (Emacs 24 and long inputs) closed by David Aspinall: duplicate: Seems not to be Emacs 24 specific. See #447, probably the same problem.

11:00 AM Ticket #449 (coq electric terminator conflict) closed by courtieu: fixed: Fixed.
10:50 AM Ticket #445 (Proof General (or coqtop?) barfs on "Arguments foo / ...") closed by courtieu: worksforme: I can't reproduce this bug. This is working correctly with my cvs …
10:28 AM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") closed by courtieu: fixed: This has been solved a long time ago. I tested the Notations above and …

3:29 PM Ticket #444 (three windows mode at pg start when a warning window) closed by courtieu: fixed: Marked as fixed: - The three windows are not displayed before …

3:20 PM Ticket #452 (Some Isabelle options enabled but not active) created by Generic Isabelle user: In PG 4.1 and 4.2pre120814 some options passed to the _running_ …

1:52 PM Ticket #451 (support {} and bullets in prooftree) created by coquser: see subject
1:45 PM Ticket #450 (Proof in proof tree) created by coquser: With 8.4 Proof appears as command in the proof tree. Hendrik
1:44 PM Ticket #449 (coq electric terminator conflict) created by coquser: The new addition […] hides the generic default …

10:42 PM Ticket #448 (Repair autotest load sequence so works in compiled and interpreted code) created by David Aspinall: Test, both this: […] and this: […] should run the autotest for …

11:50 AM Ticket #392 (Isabelle anti-quotation colouring obliterates symbol font setting) closed by David Aspinall: wontfix: Closing this as wontfix as seems unlikely anyone from Isabelle team …
11:49 AM Ticket #159 (Goal centering) closed by David Aspinall: wontfix: Closing this as it was reported 5 years ago, I'm not sure if it is …
11:47 AM Ticket #381 (Report Emacs bug/issue: slow process filter behaviour on non-Linux ...) closed by David Aspinall: wontfix: There's clear bug/issue to report upstream, so closing here for now.
11:41 AM Ticket #377 (Electric-terminator mode next line movement changed) closed by David Aspinall: fixed: User option proof-next-command-insert-space added which can be used …
4:37 AM Ticket #447 (Proof General stalls on long Ltac (Coq)) created by coquser: Proof general seems to stall when trying to evaluate very long …

3:14 PM Ticket #443 (Retracting, editing, then re-evaluating/proving sometimes results in ...) closed by coquser: fixed: The error was introduced with commit "Fix for Trac #397. Needs some …

12:43 PM Ticket #441 (make -C doc magic fails) closed by David Aspinall: fixed

8:16 AM Ticket #446 (window-live-p error (coq, aquamacs)) created by coquser: When starting PG on a .v file, or when switching from one file to …

Note: See TracTimeline for information about the timeline view.