Timeline



Oct 9, 2007:

5:46 AM Ticket #86 (Fix parse edit offset) closed by alex heneveld
fixed: whitespace handling is inconsistent (observed earlier), this was …
5:45 AM Ticket #158 (cursor positioning is wrong when sending commands) created by alex heneveld
the GotoAction will move the cursor to near the end of the previous …
5:37 AM Ticket #157 (undo sometimes incorrectly tries to undo a larger container than is ...) created by alex heneveld
if you're undoing a command, "undo" will undo the largest container …

Oct 8, 2007:

12:01 AM Ticket #86 (Fix parse edit offset) reopened by alex heneveld
not quite fixed, still breaks when symbols are in use. (possibly …

Oct 7, 2007:

11:50 PM Ticket #86 (Fix parse edit offset) closed by alex heneveld
fixed: fixed as part of 124. agree we want some tests, will be added as new …
11:29 PM Ticket #124 (Edited text doesn't update document model) closed by alex heneveld
fixed: these are now fixed by: - backing up parsed regions to drop trailing …
11:10 PM Ticket #156 (closing an active editor doesn't work (buggy or confusing ...) created by alex heneveld
if i close an active editor, the GotoAction? throws an NPE when trying …

Oct 6, 2007:

7:17 PM Ticket #154 ("restart" doesn't work) closed by alex heneveld
fixed: fixed by resetting the open element to be the root, in …
6:32 PM Ticket #155 (sending past end doesn't work quite right ("undo" fails, maybe more)) created by alex heneveld
if i parse a theory passed the "end" point, "undo" no longer works; …
6:28 PM Ticket #154 ("restart" doesn't work) created by alex heneveld
if i have an active scripting document, and then i restart, i cannot …
6:09 PM Ticket #153 (is "proof state" view needed anymore?) created by alex heneveld
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only …

Sep 17, 2007:

1:45 PM Ticket #152 (Faults with main regexps in XEmacs 21.5(b28) for Coq) created by David Aspinall
The above version of XEmacs (standard XEmacs on Fedora 7) has problems …
1:27 PM Ticket #141 (Warnings missing in proof mode in Coq) closed by David Aspinall
worksforme: Thanks for raising this and sending the test cases. I've tested with …

Sep 16, 2007:

5:03 PM Ticket #151 (Make interface multiple-thread aware) created by David Aspinall
New multiple thread support in Isabelle should be exploited by close …
4:58 PM Ticket #150 (Remove use of PGIP message datatypes) created by David Aspinall
The datatypes for representing PGIP messages help enumerate and …
4:55 PM Ticket #149 (Unify batch and incremental mode of processing) created by David Aspinall
This is the Isabelle side of #148
4:55 PM Ticket #148 (Add "continual validation" mode to PGIP) created by David Aspinall
We want to add a continual validation mode to PGIP, to support …
4:40 PM Ticket #92 (Attempt recovery from XML parse errors in PGIP main loop) closed by David Aspinall
duplicate: Will be fixed by #144
4:37 PM Ticket #83 (Fix script parsing to produce reliable and speedy <parseresult> outputs) closed by David Aspinall
fixed: Better module now in Isabelle by Makarius. But see #142.

Sep 14, 2007:

4:30 PM Ticket #147 (Add support for (static) code templates inside Isabelle) created by David Aspinall
Templates described in PGIP should be configurable via prover …
2:53 PM Ticket #146 (Add "sendback" messages to match behaviour added to PG Emacs) created by David Aspinall
2:49 PM Ticket #145 (PGIP parser: add string tokens for categories) created by David Aspinall
This improvement would allow the frontend to know more about the …
2:47 PM Ticket #144 (Build a hybrid top level that removes PG specific one) created by David Aspinall
The hybrid top level can use special tokens to recognise PGIP input …
2:45 PM Ticket #143 (Add XML/PGIP test scripts to Isabelle/Admin distribution) created by David Aspinall
2:44 PM Ticket #142 (New parsescript code in pgip_parser.ML is broken) created by David Aspinall
We must fix the double escaping of XML before the new parsing code can …

Sep 9, 2007:

11:30 AM Ticket #56 (PGActions do not always clear their status (report "someone else owns ...) closed by David Aspinall
fixed: Prover ownership for actions has been removed for the time being. We …

Sep 6, 2007:

10:01 AM Ticket #137 (Add output highlighting/insert support for Isar and sledgehammer ...) reopened by David Aspinall
To do: * Add context-sensitive binding for Emacs button in response …

Sep 3, 2007:

5:08 PM Ticket #141 (Warnings missing in proof mode in Coq) created by Evgeny Makarov
Dear Proof General Developers, When Coq issues a warning inside a …

Aug 19, 2007:

2:45 PM Ticket #74 (Coq: bug in electric terminator: typing '.' in comment causes comment ...) closed by David Aspinall
wontfix: I can't reproduce this as described, i.e. typing a terminator inside a …
1:10 PM Ticket #137 (Add output highlighting/insert support for Isar and sledgehammer ...) closed by David Aspinall
fixed
11:25 AM Ticket #140 (PG takes a long time printing module types in Coq) closed by David Aspinall
worksforme: I can't reproduce this. I tried this file called T.v: […] If …
11:13 AM Ticket #138 (Can't insert text after locking a comment) closed by David Aspinall
fixed: Fixed in proof-shell.el 8.28 (queue span wasn't detached in this …

Aug 14, 2007:

3:50 PM Ticket #16 (Move cursor and scroll during do/undo) closed by Graham Dutton
fixed: Seems to work OK now. had to refactor the gotoThread to allow a …

Aug 13, 2007:

2:48 PM Ticket #140 (PG takes a long time printing module types in Coq) created by Evgeny Makarov
Dear Proof General developers, I found a curious behavior: it seems …

Aug 9, 2007:

1:17 PM Ticket #139 (Prover not started when run from Product) closed by Graham Dutton
fixed: Fixes in PathUtils? (init was not being called) followed by …

Aug 7, 2007:

12:27 PM Ticket #139 (Prover not started when run from Product) created by Graham Dutton
Prover does not start when run from a Product configuration, though it …
11:31 AM Ticket #30 (Outline view should update after any parse) closed by David Aspinall
fixed: This seems probably fixed with bug fixes for edit offset and parsing.

Aug 3, 2007:

11:13 AM TracPermissions edited by Graham Dutton
XML_RPC permission and local notes added (diff)
Note: See TracTimeline for information about the timeline view.