Timeline
Jan 18, 2011:
- 10:01 AM Ticket #382 (coq-mode inhibits automatic saving of abbrevs) closed by
- fixed: This is fixed in cvs. Thanks for reporting. I removed the setting of …
Jan 14, 2011:
- 10:58 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) reopened by
- This is Windows XP/SP3 running on Virtual Box. Same problem, this …
- 8:03 PM Ticket #382 (coq-mode inhibits automatic saving of abbrevs) created by
- Setting save-abbrevs to nil in coq-install-abbrevs disables automatics …
Jan 12, 2011:
- 3:36 PM WikiStart edited by
- (diff)
- 3:32 PM WikiStart edited by
- (diff)
- 3:24 PM Ticket #226 (Add configurable key bindings to Unicode Tokens tables) closed by
- wontfix: No rework of Unicode Tokens planned for time being so closing.
- 3:20 PM Ticket #230 (Configuration simplification: unify regexp/function settings) closed by
- wontfix: Closing this. Plenty of scope for code simplification/improvement for …
- 3:19 PM Ticket #231 (Consider replacing maths-menu for token mode with own version) closed by
- wontfix: Closing for now, current menu is approximate but useful at least.
- 3:18 PM Ticket #295 (Undo on edit in ML-sections) closed by
- wontfix: Remark to above comment: this concerns the internal part of a command …
- 3:13 PM Ticket #313 (Unicode tokens: tweak support for Coq) closed by
- wontfix: Closing this. I don't know if (m)any Coq users are using Unicode …
- 3:12 PM Ticket #345 (Semi-colons (';') cause outer syntax error: one command expected) closed by
- wontfix: Closing this, Lucas is moving a long way away so I should be safe from …
- 3:10 PM Ticket #228 (Restore tracing slow mode if necessary) closed by
- wontfix: Closing this for now, will reopen if users request.
- 3:06 PM Ticket #376 (Enable and complete testing of parser cache, add to user options menu) closed by
- fixed: This is set to t by default in current CVS now, and will be for PG 4.1 …
- 3:03 PM Ticket #217 (Chosen logic: changes should invoke isabelle-load-isar-keywords) closed by
- wontfix: Minor benefit for effort required, cancelling this.
- 3:01 PM Ticket #190 (Improve proof shell initialisation order) closed by
- wontfix: Little value here.
- 2:48 PM Ticket #355 (Autosend should be re-engaged after C-c C-n) closed by
- wontfix: Current behaviour seems not so bad. Doc tweaked to match it. Let's …
- 2:45 PM Ticket #324 (Script management very slow on some platforms) closed by
- fixed: Closing this, as no further feedback or complaints received. The …
- 2:45 PM Ticket #381 (Report Emacs bug/issue: slow process filter behaviour on non-Linux ...) created by
- See #324.
- 2:42 PM Ticket #279 (Proof visibility controls broken) closed by
- fixed
- 2:41 PM Ticket #275 (Overhaul script management command sending) closed by
- wontfix
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. …
Note: See TracTimeline
for information about the timeline view.