Timeline
Dec 12, 2012:
- 1:17 AM Ticket #459 (Can not split the window vertically) created by
- I'm using the Proof General 4.2 with emacs 23.3.1 in ubunbu 12.04 to …
Dec 1, 2012:
- 10:36 AM Ticket #458 (ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90) created by
- Byte-compilation of ProofGeneral 4.2 with the Emacs 24.2.90 pretest …
Nov 14, 2012:
- 9:24 AM Ticket #457 (Remove/invoke proof-shell-pre-interrupt-hook) created by
- Currently this setting is dead. Was used for experimental support in …
Nov 13, 2012:
- 1:14 PM Ticket #456 (initialization failure with defpacustom :eval) created by
- Hi, when using defpacustom with :eval, the eval form is not evaluated …
Oct 30, 2012:
- 1:07 PM Ticket #455 (Emacs trunk BZR sometimes hangs when using auto fill mode with PG Coq) created by
- The devlopment version (BZR trunk) of Emacs can hang when PG Coq is …
Oct 23, 2012:
- 10:23 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) reopened by
- Replying to makarius: > This is GNU Emacs 23.1.1 on …
Oct 19, 2012:
Oct 2, 2012:
- 10:25 AM Ticket #454 (coq mode: compile before import fails when no .v file) created by
- Some users use .vo files without having the corresponding .v files. …
Sep 25, 2012:
- 12:38 PM Ticket #419 (Print Fully Explicit option gets out of sync after undoing before ...) closed by
- 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
- fixed: This old bug is still opened. I close it. The problem of response …
Sep 21, 2012:
- 11:07 AM Ticket #452 (Some Isabelle options enabled but not active) reopened by
- To me it looks like the PGIP semantics have changed in recent years. …
Note: See TracTimeline
for information about the timeline view.
