Timeline
Dec 10, 2010:
- 3:58 PM Ticket #380 (Downloaded bytecode buggy?) closed by
- fixed: Thanks for the report, I have heard this before, I think the .elcs …
Dec 9, 2010:
- 10:06 AM Ticket #380 (Downloaded bytecode buggy?) created by
- Hello, I am getting an error with bytecode of the 4.0 package and …
Nov 9, 2010:
- 1:12 PM Ticket #379 (Syntax error in ProofGeneral.desktop file) closed by
- fixed: Thanks for noticing this. It seems to be complaining because the …
- 9:55 AM Ticket #379 (Syntax error in ProofGeneral.desktop file) created by
- I receive the following message from KDE on my terminal periodically: …
- 9:34 AM Ticket #378 (Makefile "make" should detect wrong bytecode file version and rebuild) created by
- I am using emacs 23.2 exclusively - no other versions of emacs. …
Oct 11, 2010:
- 9:34 AM Ticket #336 (Toolbar images on Mac Emacsen are super-ugly) reopened by
- Note: background is better, but the scaling of png icons still …
- 1:01 AM Ticket #336 (Toolbar images on Mac Emacsen are super-ugly) closed by
- fixed: pngs were given white background instead of transparency.
- 12:34 AM WikiStart edited by
- (diff)
- 12:23 AM Ticket #377 (Electric-terminator mode next line movement changed) created by
- When electric-terminator mode is enabled, after I type a period the …
Oct 10, 2010:
- 11:39 PM Ticket #376 (Enable and complete testing of parser cache, add to user options menu) created by
- PG has a cache available to reduce the amount of parsing that takes …
- 11:36 PM Milestone PG-Emacs-4.0 completed
- Proof General 4.0 will only support GNU Emacs, version 23.
- 11:35 PM Ticket #366 (Fix documentation for mouse button commands) closed by
- fixed
- 3:25 PM Ticket #371 (electric terminator mode broken) closed by
- fixed: I reconsidered. The behaviour should now be pretty close to PG 3.7, …
- 1:20 PM Ticket #375 (PG goes into infinite loop with 100% CPU usage) closed by
- invalid: This is indeed ugly, but it isn't PG's fault. Instead of testing …
- 1:02 PM Ticket #370 (Proof General immediately starts processing the file as soon as I open it) closed by
- invalid: Yes, I can repeat the effect with your .emacs, but it is buggy. In …
- 6:49 AM Ticket #370 (Proof General immediately starts processing the file as soon as I open it) reopened by
- Nope, the bug is definitely there. It occurs even if these are the …
Oct 8, 2010:
- 10:14 AM Ticket #370 (Proof General immediately starts processing the file as soon as I open it) closed by
- worksforme: I can't reproduce this, even adding your key binding. It sounds like …
- 9:54 AM Ticket #373 (PG 4.0 forgets things.) closed by
- needmoreinfo: Thanks for the report. It doesn't look good, but the screenshot …
- 9:51 AM Ticket #372 (funny => sign all over my scripts) closed by
- invalid: This is the "overlay arrow", you are seeing the crude tty equivalent …
- 7:51 AM Ticket #375 (PG goes into infinite loop with 100% CPU usage) created by
- To reproduce: download the attachment. Then type: emacs -nw pg_bug3.v …
- 7:40 AM Ticket #374 (cannot turn on electric-terminator interactively) closed by
- invalid: Er, nevermind, I didn't know the keystroke depended on which proof …
- 7:31 AM Ticket #374 (cannot turn on electric-terminator interactively) created by
- I seem to be able to enable the electric-terminator using a hook in my …
Oct 7, 2010:
- 7:13 AM Ticket #373 (PG 4.0 forgets things.) created by
- Something is going very, very wrong with the proof state... see screenshot.
- 7:13 AM Ticket #372 (funny => sign all over my scripts) created by
- for some reason proof general 4.0 is putting this funny "=>" symbol …
- 7:12 AM Ticket #371 (electric terminator mode broken) created by
- Electric terminator mode isn't working anymore with PG 4.0. When I …
- 7:11 AM Ticket #370 (Proof General immediately starts processing the file as soon as I open it) created by
- Proof General immediately starts processing my script as soon as I …
Oct 6, 2010:
- 11:05 AM Ticket #369 (PG will not compile under non-windowing Emacs) closed by
- fixed: Thanks for the report. You were trying to compile using Mac OS X's …
- 5:37 AM Ticket #369 (PG will not compile under non-windowing Emacs) created by
- emacs --batch --no-site-file -q -eval '(setq load-path (append …
Oct 4, 2010:
- 8:40 PM Ticket #339 (Infinite loop on module print with coq-8.3) closed by
- fixed: Pierre says this is the same as #140.
- 6:12 PM Ticket #368 (coq, already defined values) closed by
- needmoreinfo: Thanks for the report. Unfortunately I can't reproduce this, using …
- 5:57 PM Ticket #339 (Infinite loop on module print with coq-8.3) reopened by
- Could someone check whether this is fixed by same fix as #140?
- 5:48 PM Ticket #368 (coq, already defined values) created by
- Hi, The following code is rejected by Coq, since [x] is already …
- 3:39 PM Ticket #367 (Fix web pages and update screenshots) created by
- Some links on web pages have rusted, and screenshots need updating.
- 2:45 PM Ticket #357 (Feature suggestion: function + binding to insert Coq closing tactics) closed by
- fixed: Patch applied, many thanks!
- 2:39 PM Ticket #365 (Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el) closed by
- fixed: Patch applied, many thanks!
- 2:34 PM Ticket #366 (Fix documentation for mouse button commands) created by
- The manual has an incomplete list and bindings which are old.
- 2:27 PM Ticket #362 (Proof Completed message for Coq is lost) closed by
- fixed: Fixed already
Oct 2, 2010:
- 1:47 AM Ticket #365 (Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el) created by
- The "mouse bindings" associated with
proof-mouse-goto-point
, …
Note: See TracTimeline
for information about the timeline view.