Timeline



Oct 24, 2011:

10:20 AM Ticket #428 (subsubsection links not working in PG doc) created by coquser
Hi, in the Proof General documentation at …

Oct 17, 2011:

12:16 PM Ticket #138 (Can't insert text after locking a comment) closed by David Aspinall
fixed: Fixed now in version 12.2 of proof-shell.el (CVS head, today's …

Oct 5, 2011:

12:37 PM Ticket #138 (Can't insert text after locking a comment) reopened by Evgeny Makarov
I am still having the same issue in PG 4.1 (the latest CVS version) …

Oct 3, 2011:

10:24 AM Milestone PG-Emacs-4.1 completed

Sep 30, 2011:

10:58 AM Ticket #427 (defpacustom and undo) closed by David Aspinall
duplicate: Already noted in #419. For what it's worth, my opinion is that …

Sep 29, 2011:

2:58 PM Ticket #427 (defpacustom and undo) created by coquser
Hi, defpacustom settings are not preserved over undo, at least not …

Sep 27, 2011:

10:19 AM Ticket #426 (proof-user-options custom group partly broken) closed by coquser
fixed
10:18 AM Ticket #426 (proof-user-options custom group partly broken) created by coquser
displaying this customization group gives an error and a lot of …

Sep 19, 2011:

12:31 PM Ticket #425 (Consider simplifying span amalgamation to match prover undo behaviour) created by David Aspinall
With more flexible undo behaviour (e.g. linear undo in Isabelle), we …

Sep 14, 2011:

8:19 PM Ticket #421 (proof-shell-exit raises an exception "Buffer foo.v has no process") closed by coquser
fixed: Fixed with solution 1. Hendrik
12:43 PM Ticket #422 (Support for entering ellipsis in electric terminator mode) closed by David Aspinall
fixed: I've added a patch which allows you to use a numeric prefix just as …
12:31 PM Ticket #423 (List customisation variables use wrong widget) closed by David Aspinall
fixed: Fixed, thanks for the patch.
12:16 PM Ticket #424 (proof-shell-exit does not follow standard emacs policy with query-exit.) closed by David Aspinall
fixed: Have made suggested change. Thanks for pointing out inconsistency.

Sep 11, 2011:

5:00 PM Ticket #424 (proof-shell-exit does not follow standard emacs policy with query-exit.) created by courtieu
Currently, when there is a running prover process and user, hitting …
3:59 PM Ticket #423 (List customisation variables use wrong widget) created by Robin Green
Customisation variables which take a list of strings like …
1:56 PM Ticket #422 (Support for entering ellipsis in electric terminator mode) created by Robin Green
When electric-terminator is on, it's unclear how to enter an ellipsis …
1:50 PM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") reopened by Robin Green
In Coq trunk, I believe periods are not treated as end-of-command …
1:48 PM Ticket #421 (proof-shell-exit raises an exception "Buffer foo.v has no process") created by courtieu
Hello, here is how to reproduce the bug: open a coq file (say …

Sep 4, 2011:

9:59 PM Ticket #420 (Another Emacs indentation freeze) closed by courtieu
fixed: Thank you for posting this bug report. This is fixed in cvs.

Aug 26, 2011:

2:05 PM Ticket #420 (Another Emacs indentation freeze) created by coquser
If you have the below code, then place the caret at the end of the …

Aug 23, 2011:

8:48 PM Ticket #419 (Print Fully Explicit option gets out of sync after undoing before ...) created by Robin Green
This has been a bug in PG for several years now, but as far as I can …
1:57 PM Ticket #415 (Wrong file mentioned in installation notes) closed by David Aspinall
fixed: Thanks for the note. I've moved it back to coq.el, it seems to work …
1:42 PM Ticket #418 (Emacs is not responding after typing `Case "".<newline>`) closed by David Aspinall
fixed: Thanks for the report. Now patched.
1:42 PM Ticket #417 (Website states wrong minimal emacs version) closed by David Aspinall
fixed: Thanks for the report. The compatibility is fixed again in RC3.
1:41 PM Ticket #416 (Emacs indentation can go into an infinite loop) closed by David Aspinall
fixed: Thanks for the report. Now patched.
11:39 AM Ticket #418 (Emacs is not responding after typing `Case "".<newline>`) created by coquser
Hello! I use Proof General with Coq, Utoks mode is enabled. When I …

Aug 19, 2011:

9:22 PM Ticket #417 (Website states wrong minimal emacs version) created by coquser
http://proofgeneral.inf.ed.ac.uk/download#prereq says that emacs 23.1 …

Aug 15, 2011:

5:29 PM Ticket #416 (Emacs indentation can go into an infinite loop) created by coquser
Paste the following code in. After the final period, press either …

Aug 4, 2011:

3:17 PM Ticket #415 (Wrong file mentioned in installation notes) created by coquser
In the Installation notes …
Note: See TracTimeline for information about the timeline view.