Timeline



Dec 1, 2009:

11:48 PM Ticket #311 (Unicode tokens: cannot select certain fonts from menu) closed by David Aspinall
fixed: Fall back using :family instead of :font seems to be better, at least …
7:10 PM Ticket #280 (Unicode Tokens: cleanups) closed by David Aspinall
fixed: Closing this ticket now. Defaults seem reasonable and menu options …
10:50 AM Ticket #313 (Unicode tokens: tweak support for Coq) created by David Aspinall
The Unicode Tokens support for Coq is not entirely compatible with the …
10:47 AM Ticket #312 (Unicode tokens: add support for PhoX) created by David Aspinall
PhoX heavily used obsolete/xemacs symbol mechanisms. Support should …
10:42 AM Ticket #311 (Unicode tokens: cannot select certain fonts from menu) created by David Aspinall
Some fonts cannot be selected because they don't have default …
10:33 AM Ticket #306 (Odd display of sub/superscripts) closed by David Aspinall
fixed: Fixed: see isar-control-char-format-regexp in …
10:00 AM Ticket #300 (Emacs 22: strange keyword categorization) closed by David Aspinall
fixed: Fixed in isar-syntax.el 10.31, I hope.
1:32 AM Ticket #298 (Isabelle indentation) closed by David Aspinall
fixed: Should be fixed in CVS head now.
12:11 AM Ticket #310 (Subscripts in locked region are revealed the moment you finish a lemma) created by David Aspinall
As long as you work within the lemma it is fine. […]

Nov 30, 2009:

11:48 PM Ticket #307 (synchronization loss with interrupts) closed by David Aspinall
fixed: Many thanks for the useful test case and explanation. Fixed now in …

Nov 28, 2009:

6:16 PM Ticket #309 (-p option (Isar interface) does not permit additional parameters to ...) closed by Makarius
fixed: This is intentional, option -p is described in the usage as {{{Emacs …

Nov 27, 2009:

3:17 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) reopened by Makarius
Hard to tell. Here is another instance …
2:05 PM Ticket #309 (-p option (Isar interface) does not permit additional parameters to ...) created by Florian Haftmann
The -p option in isar/interface does not allow additional parameters …

Nov 26, 2009:

10:51 AM Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by David Aspinall
needmoreinfo: This is a nuisance, but is the problem actually due to PG code? Can …

Nov 25, 2009:

11:55 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) created by Makarius
My general impression when using PG 3.7.1 or 4.0 with Emacs 23 is that …
4:29 PM Ticket #307 (synchronization loss with interrupts) created by Alexander Krauss
Steps to reproduce: 1. load the following script, which contains a …

Nov 24, 2009:

12:12 PM Ticket #306 (Odd display of sub/superscripts) created by Makarius
This is GNU Emacs 23.1.1 on Ubuntu 9.10. Sub/superscripts are …

Nov 23, 2009:

11:31 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) closed by David Aspinall
fixed: Fixed for Isabelle2009-1 and beyond: now PG uses ProofGeneral.pr

Nov 16, 2009:

5:48 PM Ticket #299 (Out of sync with Isabelle) closed by David Aspinall
needmoreinfo
5:48 PM Ticket #305 (High overhead) closed by David Aspinall
needmoreinfo: This generally shouldn't be the case, but it depends on the …

Nov 12, 2009:

1:43 PM Ticket #305 (High overhead) created by Norbert Schirmer
When processing larger portions (thousands of lines) of a Isabelle …
10:35 AM Ticket #304 (Isabelle: trying to undo a step fails for me) closed by RafalKolanski
invalid: Actually, nevermind, turns out our version of Isabelle doesn't have …
10:24 AM Ticket #304 (Isabelle: trying to undo a step fails for me) created by RafalKolanski
I am uncertain if my version of Isabelle is to blame (i.e. not …

Nov 11, 2009:

10:45 AM Ticket #303 (underlining on error sucks) created by Alexander Krauss
While others may report more fundamental problems, here is another …

Nov 6, 2009:

11:38 PM Ticket #301 (Ubuntu 9.10: PG menus broken) closed by David Aspinall
invalid: Confirmed, at least for Emacs 22. For goodness sake, how on earth did …
11:26 PM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) closed by David Aspinall
invalid: Thanks for reporting but I'm sorry, I can't find the dependency that …
3:06 AM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) created by Ilmari Vacklin
On Ubuntu 9.10, the emacs23 package does not include hilit19.el, which …

Nov 5, 2009:

2:26 PM Ticket #301 (Ubuntu 9.10: PG menus broken) created by Makarius
On Ubuntu 9.10 with Emacs 22 or 23, the PG specific menus are broken …
2:22 PM Ticket #300 (Emacs 22: strange keyword categorization) created by Makarius
This is Ubuntu 9.10 with GNU Emacs 22 (Gtk). Somehow the keyword …

Oct 21, 2009:

9:22 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) reopened by Makarius
In the old protocol with non-linear undo, it worked via the …

Oct 19, 2009:

9:41 AM Ticket #299 (Out of sync with Isabelle) created by Norbert Schirmer
When working within Isar proofs ProofGeneral and Isabelle get out of …

Oct 16, 2009:

5:49 PM Ticket #298 (Isabelle indentation) created by Norbert Schirmer
The automatic indentation for Isar proofs has some problems: …
12:47 PM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) closed by David Aspinall
fixed: Many thanks for the patch, have added in CVS now.
8:14 AM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) created by Matt McCutchen
I'm glad to see that support for finding the lisp files relative to …
6:32 AM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") created by Matt McCutchen
If I type the following complete garbage and press "C-c C-RET" at the …

Oct 5, 2009:

6:55 PM Ticket #295 (Undo on edit in ML-sections) created by Alexander Krauss
It appears that undo-on-edit does not work when editing within an ML …
1:20 PM Ticket #293 (Synchronisation losses with undo-on-edit) closed by David Aspinall
fixed: Thanks for follow-up. Assuming you only lose key-presses in the case …

Oct 3, 2009:

6:36 PM Ticket #294 (Make pg-protected-undo allow in undo in comments of locked region) created by David Aspinall
Editing is allowed in comments inside the locked region, but the …

Oct 2, 2009:

11:20 AM Ticket #293 (Synchronisation losses with undo-on-edit) created by Alexander Krauss
The following behaviour makes the setting "PG -> Quick Options -> Read …

Sep 27, 2009:

12:58 AM Ticket #291 (3-Panel-mode: Strange buffer switch when loading a theory) closed by David Aspinall
fixed: Fixed in CVS. Thanks for the report. The code tried to do something …

Sep 26, 2009:

2:02 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) closed by David Aspinall
fixed: Thanks for the report. Assume you are using Isabelle with the new …

Sep 25, 2009:

3:37 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) created by Alexander Krauss
in 4.0pre090921 under GNU Emacs 23.1.1 at these commands, the goal …

Sep 23, 2009:

3:20 PM Ticket #291 (3-Panel-mode: Strange buffer switch when loading a theory) created by Alexander Krauss
Steps to reproduce: 1. Proof General -> Quick Options -> Display -> …

Sep 21, 2009:

3:03 PM Ticket #281 (Odd unicode abbreviations, notably |>) closed by David Aspinall
fixed: Moved to #290.
3:03 PM Ticket #290 (Undo and delete for token input don't behave as expected) created by David Aspinall
Ordinary undo with token input does not behave as the user might …
3:00 PM Ticket #227 (Recover active scripting modeline indicator) closed by David Aspinall
fixed: Actually, this seems fine really. Now it is pink.
2:57 PM Ticket #285 (byte compilation) closed by David Aspinall
fixed: Byte compilation should be working now. The distribution now includes …

Sep 20, 2009:

9:22 PM Ticket #289 (Drawback of command wrapping in PG+Isar) closed by David Aspinall
fixed: Fixed in proof-script.el 10.44, which makes …
9:16 PM Ticket #289 (Drawback of command wrapping in PG+Isar) reopened by David Aspinall

Sep 17, 2009:

8:48 AM Ticket #289 (Drawback of command wrapping in PG+Isar) closed by David Aspinall
invalid: [Followup from Makarius]: I have already noticed that the …

Sep 16, 2009:

4:56 PM Ticket #289 (Drawback of command wrapping in PG+Isar) created by David Aspinall
[message from Lucas Dixon] (PG: 4.0pre090916) I used to sprinkle …

Sep 14, 2009:

9:22 AM Ticket #288 (Splash screen misbehaves) created by David Aspinall
This is just a note that the splash screen (simplified to use built in …
9:16 AM Ticket #170 (Improve outline syntax for Isar) closed by David Aspinall
fixed: Level support now added for GNU Emacs, using `outline-heading-list'. …

Sep 11, 2009:

1:31 AM Ticket #287 (Script management flaws) created by David Aspinall
Some of the script management code has been generalised and (for …
1:28 AM Ticket #278 (Resolve pointer-movement issues during script management) closed by David Aspinall
fixed: This is satisfactory for now. There is still a small glitch where the …
1:23 AM Ticket #284 (proof-process-buffer very slow) closed by David Aspinall
fixed: The main reason turned out to be an experiment with …

Sep 9, 2009:

7:39 PM Ticket #258 (Copying from response buffer also copies colour control chars) closed by David Aspinall
fixed: This has been fixed in CVS now (since about May this year, actually).
12:51 PM Ticket #286 (PG startup crash) closed by David Aspinall
fixed: Thanks. I have added a compatibility patch for this but notice from …

Sep 7, 2009:

11:18 PM Ticket #286 (PG startup crash) created by Makarius
GNU Emacs 22.1.1, Ubuntu 8.04 LTS. PG startup crashes: {{{File mode …

Sep 4, 2009:

5:00 PM Ticket #285 (byte compilation) created by Makarius
GNU Emacs 23.1.1 on Mac OS, Proof General 4.0pre090902 (or CVS …
12:22 PM Ticket #191 (Code cleanup: remove proof-no-command) closed by David Aspinall
fixed: Have fixed now in script code refactoring.
12:21 PM Ticket #191 (Code cleanup: remove proof-no-command) reopened by David Aspinall
12:20 PM WikiStart edited by David Aspinall
(diff)
12:19 PM WikiStart edited by David Aspinall
(diff)
12:17 PM WikiStart edited by David Aspinall
(diff)

Sep 3, 2009:

10:07 AM Ticket #282 (Emacs 23.1.1 on Mac OS: no toolbar) closed by David Aspinall
invalid: Not a PG issue, seems to be an option in the Mac OS X port. You can …
9:54 AM Ticket #283 (assert command etc.: strange movement of point) closed by David Aspinall
duplicate: Known, but thanks. See #278

Sep 2, 2009:

3:53 PM Ticket #284 (proof-process-buffer very slow) created by Makarius
GMU Emacs 23.1.1, Mac OS. Asserting a whole buffer via …
3:37 PM Ticket #283 (assert command etc.: strange movement of point) created by Makarius
GNU Emacs 23.1.1, Mac OS. The point movement after asserting commands …
1:16 PM Ticket #282 (Emacs 23.1.1 on Mac OS: no toolbar) created by Makarius
The PG tool seems to be missing on this platform.
11:32 AM Ticket #281 (Odd unicode abbreviations, notably |>) created by Makarius
In isar-symbol-shortcuts there are some odd abbreviations, notably …
Note: See TracTimeline for information about the timeline view.