Timeline



Feb 15, 2011:

4:32 PM DeletingTicketSpam edited by David Aspinall
(diff)

Feb 9, 2011:

2:04 PM Ticket #391 (proof-full-annotation causes instabilities) reopened by Makarius
There are two fundamental problems here, of different severity: * …

Feb 1, 2011:

11:00 PM Ticket #392 (Isabelle anti-quotation colouring obliterates symbol font setting) created by Clemens Ballarin
I can now get most symbols displayed by choosing "Apple Symbols" in …

Jan 31, 2011:

1:03 PM Ticket #391 (proof-full-annotation causes instabilities) closed by David Aspinall
worksforme: I've tried the file suggested now in Isabelle2011, and it works fine …
12:52 PM Ticket #390 (Odd progress markers in text mode) closed by David Aspinall
duplicate: See #372.
12:50 PM Ticket #387 (Preferences lost when prover restarted) closed by David Aspinall
fixed: More elaborate fix in CVS now. The CVS version allows for different …
10:25 AM Ticket #389 (Mac OS X font selection problems) closed by David Aspinall
wontfix: You're right that Mac OS X is doing something odd combine fonts, as …

Jan 28, 2011:

2:29 PM Ticket #391 (proof-full-annotation causes instabilities) created by Makarius
This is GNU Emacs 23.x on Linux or Mac OS. The default {{{ …
12:03 PM Ticket #390 (Odd progress markers in text mode) created by Makarius
Mac OS X Snow Leopard. Running with /usr/bin/emacs in text mode …
11:50 AM Ticket #389 (Mac OS X font selection problems) created by Makarius
This is Mac OS X Snow Leopard, GNU Emacs 23.2.x "non-nonsense". The …
9:58 AM Ticket #386 (Coq goals counter not reset on backtracking out of proof) closed by courtieu
fixed: This is fixed in cvs. Thanks for reporting.

Jan 27, 2011:

9:40 PM Ticket #387 (Preferences lost when prover restarted) created by Makarius
When starting the prover process, defaults are received, but current …

Jan 25, 2011:

8:15 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by David Aspinall
wontfix: OK. I have tried to change the default for …
9:58 AM Ticket #384 (Isabelle process killed rudely) closed by David Aspinall
fixed: Ah, I see, proof-shell-wait needed to think there was input pending. …

Jan 23, 2011:

4:09 PM Ticket #384 (Isabelle process killed rudely) reopened by Makarius
This solves the second half of the problem. The first half is that …
2:13 PM Ticket #384 (Isabelle process killed rudely) closed by David Aspinall
fixed: Committed suggested fix in CVS now, please reopen if this doesn't …
1:51 PM Ticket #386 (Coq goals counter not reset on backtracking out of proof) created by David Aspinall
Test case with example.v: process to split, then retract open proof …
1:42 PM Ticket #385 (Isabelle theorem dependencies display broken) created by David Aspinall
Isabelle output format has changed so …
12:26 PM Ticket #384 (Isabelle process killed rudely) created by Makarius
Exiting the prover is now really fast, but it does not give the …
11:02 AM Ticket #383 (no deactivation-hooks when killing fully asserted active buffer) closed by David Aspinall
fixed: Fixed in CVS, proof-script.el 11.5
10:25 AM Ticket #383 (no deactivation-hooks when killing fully asserted active buffer) created by tews
[reported by Hendrik Tews on PG-devel list] when you kill the …

Jan 18, 2011:

10:01 AM Ticket #382 (coq-mode inhibits automatic saving of abbrevs) closed by courtieu
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 Makarius
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 coquser
Setting save-abbrevs to nil in coq-install-abbrevs disables automatics …

Jan 12, 2011:

3:36 PM WikiStart edited by David Aspinall
(diff)
3:32 PM WikiStart edited by David Aspinall
(diff)
3:24 PM Ticket #226 (Add configurable key bindings to Unicode Tokens tables) closed by David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
wontfix: Minor benefit for effort required, cancelling this.
3:01 PM Ticket #190 (Improve proof shell initialisation order) closed by David Aspinall
wontfix: Little value here.
2:48 PM Ticket #355 (Autosend should be re-engaged after C-c C-n) closed by David Aspinall
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 David Aspinall
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 David Aspinall
See #324.
2:42 PM Ticket #279 (Proof visibility controls broken) closed by David Aspinall
fixed
2:41 PM Ticket #275 (Overhaul script management command sending) closed by David Aspinall
wontfix

Dec 10, 2010:

3:58 PM Ticket #380 (Downloaded bytecode buggy?) closed by David Aspinall
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 courtieu
Hello, I am getting an error with bytecode of the 4.0 package and …
Note: See TracTimeline for information about the timeline view.