Timeline



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 …

Aug 31, 2009:

9:42 PM Ticket #280 (Unicode Tokens: cleanups) created by David Aspinall
Final 4.0 cleanups: * choice of default fonts: see if can get …
4:57 PM Ticket #274 (Max lisp nesting exceeded on large error outputs) closed by David Aspinall
fixed: I've fixed, `isar-remove-line' was not recursing indefinitely, but was …
2:24 PM Ticket #211 (Coq : deactivation of the 'Holes' functionality) closed by courtieu
fixed: The patch seems ok to me. holes completion in abbreviations is now …
9:58 AM Ticket #279 (Proof visibility controls broken) created by David Aspinall
With additional spans in the buffer the individual visibility control …
9:56 AM Ticket #277 (span start vs. command start) closed by David Aspinall
fixed: Thanks for report. Fixed now but see #278.
9:56 AM Ticket #278 (Resolve pointer-movement issues during script management) created by David Aspinall
Pointer movement control cleanup is in progress, at the moment there …

Aug 28, 2009:

9:42 PM Ticket #277 (span start vs. command start) created by Makarius
GNU Emacs 22.1.1, Ubuntu 8.04 LTS, Isabelle2009. The span passed to …
12:13 PM Ticket #276 (Unicode tokens: resolve font-lock issues, optimise) created by David Aspinall
Unicode tokens interacts closely with font lock but there was a …

Aug 20, 2009:

7:19 PM Ticket #199 (Allow use of Isabelle.command to wrap commands singly) closed by David Aspinall
fixed: Position information is now passed to Isabelle. Line and file …
7:19 PM Ticket #275 (Overhaul script management command sending) created by David Aspinall
Script management command sending should be generalised to: * …
10:32 AM Ticket #274 (Max lisp nesting exceeded on large error outputs) created by David Aspinall
[Report from Lucas Dixon] seems that Proof General is sometimes …
9:53 AM Ticket #273 (next-error functions: document and streamline) created by David Aspinall
Parsing prover error messages allows more generality in error handling …

Aug 19, 2009:

1:23 PM Ticket #166 (Out of sync on illegal escape character) closed by David Aspinall
fixed: This is fixed in v 10.9 of isar.el, which has an experimental …

Aug 17, 2009:

5:41 PM Ticket #179 (Losing sync with interrupt) closed by David Aspinall
fixed: OK, the behaviour in PG is now improved so that it notices "pending" …
2:54 PM Ticket #272 (Port identifier completion code from PG Eclipse.) created by David Aspinall
This would be very useful for Isabelle, which already supports the …
2:51 PM Ticket #188 (Option to treat comments as individual statements.) closed by David Aspinall
fixed: There's a new option 'Retract on Edit' which allows you to edit some …
1:32 PM Ticket #192 (Improve out-of-the-box behaviour for some common configurations) closed by David Aspinall
wontfix: Let's put this one to sleep as wontfix for now: * downstream …

Aug 14, 2009:

10:21 AM Ticket #271 (Special characters in Isabelle identifiers missing?) closed by David Aspinall
fixed: OK, I've looked a bit more closely: this was actually an …

Aug 10, 2009:

2:51 PM Ticket #270 (Odd PG/Trac link) closed by David Aspinall
fixed

Aug 8, 2009:

9:55 PM Ticket #271 (Special characters in Isabelle identifiers missing?) created by Makarius
In prover output, the special characters ? and ' seem to be missing. …
9:34 PM Ticket #270 (Odd PG/Trac link) created by Makarius
There is an odd link on http://proofgeneral.inf.ed.ac.uk/devel --- the …

Jul 30, 2009:

5:23 PM Ticket #232 (Add documentation for Unicode Tokens mode) closed by David Aspinall
fixed
2:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) closed by David Aspinall
fixed: Pretty much complete.
1:34 PM Ticket #218 (Add documentation for Isabelle settings) closed by David Aspinall
fixed
1:27 PM Ticket #234 (unicode-tokens: add command to highlight unicode characters) closed by David Aspinall
fixed: This was added in version 10.3 of lib/unicode-tokens.el
Note: See TracTimeline for information about the timeline view.