Timeline



Apr 27, 2015:

4:44 PM Ticket #479 ([intros ??.] messes up following indentation) closed by coquser
fixed: This is fixed in the latest CVS
4:38 PM Ticket #482 ([lazymatch] should be highlighted and indented like [match]) closed by coquser
fixed: Pierre fixed this in the latest CVS.
1:51 PM Ticket #504 (Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left) closed by courtieu
fixed: Fixed, thanks.
12:32 PM Ticket #505 (Fix indentation of lazymatch in Coq) closed by courtieu
fixed

Apr 25, 2015:

4:57 PM Ticket #505 (Fix indentation of lazymatch in Coq) created by coquser
Patch here: http://pastebin.com/u68uY13X
4:54 PM Ticket #504 (Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left) created by coquser
When (= (point) (point-min)), the pair …

Mar 13, 2015:

2:52 PM Ticket #489 (Electric Terminator mode breaks desktop-save-mode) closed by David Aspinall
fixed: Thanks for the detailed report! I have fixed …
2:27 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) closed by David Aspinall
worksforme: This seems likely to be an underlying emacs bug, if it is still …
2:22 PM Ticket #500 (Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG ...) closed by David Aspinall
fixed: Fixed in current CVS head, thanks.
2:20 PM Ticket #502 (Latest Makefile change breaks things everywhere except Mac) closed by David Aspinall
fixed

Mar 9, 2015:

5:41 PM Ticket #503 (Some coq output get lost for query processed just after an error stops ...) closed by courtieu
fixed
5:14 PM Ticket #503 (Some coq output get lost for query processed just after an error stops ...) created by courtieu
To reproduce: Check nat. (* 1 *) Check foo. (* 2 *) Check nat. (* 3 …
5:10 PM Ticket #463 (Warning messages suppress error messages and make PG have incorrect ...) closed by courtieu
fixed: This is fixed for v8.5 and trunk. Probably by the fixes I made in …

Mar 6, 2015:

10:20 PM Ticket #502 (Latest Makefile change breaks things everywhere except Mac) created by coquser
The most recent change to Makefile, changing the EMACS macro …

Feb 14, 2015:

5:38 AM Ticket #501 (wrongly embedded pathname in ProofGeneral-4.3pre150202) created by coquser
Aquamacs comes with emacs 24.4.51.2. Prooftree wants …

Feb 12, 2015:

11:21 AM Ticket #500 (Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG ...) created by coquser
I’m on Mac OS 10.10.2 (Yosemite), trying to build Proof General 4.2, …
Note: See TracTimeline for information about the timeline view.