Timeline
Nov 20, 2007:
- 4:49 PM Ticket #165 (Cygwin: font-lock crashes on XEmacs 21.4.20) created by
- Certain complex response from the prover (Isabelle2007) can make …
Nov 16, 2007:
- 3:26 PM Ticket #164 (Error with GNU Emacs 21.4.1/C-c C-BS) created by
- I'm going through the "walkthrough example in Isabelle/Isar?" in …
- 1:04 PM Ticket #121 (Add download counter to web) closed by
- fixed: Implemented at http://proofgeneral.inf.ed.ac.uk/decant/ (stats page …
Nov 14, 2007:
- 5:48 PM WikiStart edited by
- (diff)
- 5:35 PM ProofGeneral edited by
- (diff)
- 5:34 PM ProofGeneral created by
- 5:33 PM Ticket #163 (Problems with x-symbol in XEmacs 21.5.28 (latin-iso8859-2 error)) created by
- I'm just trying to get ProofGeneral to work with XEmacs 21.5.28 and …
- 5:27 PM WikiStart edited by
- (diff)
- 5:23 PM Ticket #162 (Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28) closed by
- invalid: Thanks for the report, appreciated. This should work. The backtrace …
- 1:25 PM Ticket #162 (Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28) created by
- Isabelle fails to start up with PG 3.7 and XEmacs 21.5.28, not sure if …
- 10:09 AM Ticket #161 (The font-lock setup misbehaves when started via menu) created by
- The font-lock setup does not handle
\<^sub>
and\<^sub>
properly …
Nov 12, 2007:
- 6:56 PM Ticket #157 (undo sometimes incorrectly tries to undo a larger container than is ...) closed by
- duplicate: Thanks for the notes. The broken behaviour isn't your fault; I …
- 6:15 PM Ticket #160 ("Abort" keyword not recognized in Coq) closed by
- fixed: Fix added, many thanks for report.
- 6:08 PM WikiStart edited by
- (diff)
- 12:35 AM Ticket #160 ("Abort" keyword not recognized in Coq) created by
- Indentation is not closed properly after an "Abort." statement, …
Nov 7, 2007:
- 5:59 PM Ticket #159 (Goal centering) created by
- Is it possible to have the centering behavior of the *goals* window be …
Oct 9, 2007:
- 5:46 AM Ticket #86 (Fix parse edit offset) closed by
- fixed: whitespace handling is inconsistent (observed earlier), this was …
- 5:45 AM Ticket #158 (cursor positioning is wrong when sending commands) created by
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- if i parse a theory passed the "end" point, "undo" no longer works; …
- 6:28 PM Ticket #154 ("restart" doesn't work) created by
- 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
- 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
- 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
- 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
- New multiple thread support in Isabelle should be exploited by close …
- 4:58 PM Ticket #150 (Remove use of PGIP message datatypes) created by
- The datatypes for representing PGIP messages help enumerate and …
- 4:55 PM Ticket #149 (Unify batch and incremental mode of processing) created by
- This is the Isabelle side of #148
- 4:55 PM Ticket #148 (Add "continual validation" mode to PGIP) created by
- 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
- duplicate: Will be fixed by #144
- 4:37 PM Ticket #83 (Fix script parsing to produce reliable and speedy <parseresult> outputs) closed by
- 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
- 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
- 2:49 PM Ticket #145 (PGIP parser: add string tokens for categories) created by
- 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
- 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
- 2:44 PM Ticket #142 (New parsescript code in pgip_parser.ML is broken) created by
- 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
- 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
- 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
- Dear Proof General Developers, When Coq issues a warning inside a …
Note: See TracTimeline
for information about the timeline view.