Timeline
Jan 15, 2013:
- 8:41 PM Ticket #460 (proof general hanging on Coq Definition in file generated by Why3) created by
- When I try to process the attached Coq file using ProofGeneral, it …
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:
Note: See TracTimeline
for information about the timeline view.