Timeline
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 …
Aug 19, 2007:
- 2:45 PM Ticket #74 (Coq: bug in electric terminator: typing '.' in comment causes comment ...) closed by
- 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
- fixed
- 11:25 AM Ticket #140 (PG takes a long time printing module types in Coq) closed by
- 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
- 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
- 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
- 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
- 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
- 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
- fixed: This seems probably fixed with bug fixes for edit offset and parsing.
Aug 3, 2007:
- 11:13 AM TracPermissions edited by
- XML_RPC permission and local notes added (diff)
Jul 25, 2007:
- 4:53 PM Ticket #138 (Can't insert text after locking a comment) created by
- Dear Proof General developers, When I issue the …
Jul 20, 2007:
- 11:39 AM TracAndMylyn edited by
- used interwiki syntax (diff)
- 11:38 AM InterMapTxt edited by
- (diff)
- 11:35 AM TracAndMylyn edited by
- (diff)
- 11:33 AM TracAndMylyn created by
- 11:32 AM WikiStart edited by
- (diff)
- 11:12 AM Ticket #137 (Add output highlighting/insert support for Isar and sledgehammer ...) created by
Jul 19, 2007:
- 7:33 PM Ticket #131 (Add preference setting for interrupt command) closed by
- fixed: Fixed by adding preference for interrupt OS command after all. Seems …
- 4:06 PM Ticket #136 (Add compare support for proof scripts) created by
- Make use of PGIP markup to provide a structural compare feature for …
- 4:05 PM Ticket #135 (Quick diff symbol decoding broken) created by
- Symbol decoding quick diff is now showing symbol differences.
- 12:31 PM Ticket #128 (Navigator view broken) closed by
- invalid
- 10:10 AM Ticket #134 (Generalise lexing to better match Isar syntax) created by
- We should generalise lexing to better match Isar's syntax rules. …
Jul 11, 2007:
- 2:13 PM Ticket #133 (Enhance proof project nature: add proof project preference, use ...) created by
- The nature attached to proof projects can be used to set the prover …
- 1:52 PM Ticket #132 (Packaging for 1.0.6/3.4 releases) created by
- We need to test and refine the product build process for 1.0.6 and …
Jul 10, 2007:
- 9:17 AM Ticket #131 (Add preference setting for interrupt command) created by
- This is prover specific and (in the case of Isabelle), unfortunately …
Jul 8, 2007:
- 9:55 PM Ticket #126 (Repair symbol handling) closed by
- fixed
- 9:54 PM Ticket #20 (Fix ProofScriptEditor to change symbols cleanly) closed by
- fixed: Fixed now; using positions which move with insertions and deletions …
- 4:58 PM Ticket #130 (Add project batch builder) created by
- Add a project batch builder to build the whole project using a given …
- 2:42 PM Ticket #129 (X-Symbol in GNU Emacs: fix support for hiding tokens \<^loc>, \<bsub>, etc) created by
- These symbols are hidden by font locking in X-Symbol in XEmacs with …
Jul 7, 2007:
- 10:11 PM Ticket #128 (Navigator view broken) created by
- Launching navigator view leads to a NPE inside Eclipse, when calling …
- 1:36 PM Ticket #127 (Fix Action Bar active editor switching; simplify actions) created by
- PG often loses track of the active editor. Instead of self managing …
- 10:36 AM Ticket #126 (Repair symbol handling) created by
- Symbol handling is currently broken, needs urgent repair.
- 9:45 AM RecentChanges edited by
- (diff)
- 9:45 AM TitleIndex edited by
- (diff)
- 9:45 AM TracWorkflow edited by
- (diff)
- 9:25 AM TracTickets edited by
- (diff)
- 9:23 AM TracTickets edited by
- (diff)
Jul 5, 2007:
- 7:30 PM Ticket #125 (Use <askprefs> message to configure prover-specific preferences) created by
- Isabelle supports the PGIP <askprefs>, etc messages to advertise user …
- 1:29 PM Ticket #124 (Edited text doesn't update document model) created by
- Editing text doesn't always change the document model underlying. …
- 9:58 AM Ticket #122 (Use Batch Build Command and Project Batch Build Command) created by
- These settings are in ProverNamePreferences and can be set in …
- 9:38 AM Ticket #52 (An issue with current version of Trac) closed by
- fixed
- 9:28 AM Ticket #68 (Move to Eclipse 3.3 at 3.3M5) closed by
- fixed
Jul 4, 2007:
- 9:42 AM RecentChanges edited by
- (diff)
- 9:42 AM TitleIndex edited by
- (diff)
- 9:42 AM TracWorkflow edited by
- (diff)
- 9:42 AM TracGuide edited by
- (diff)
- 9:42 AM TracWorkflow created by
- 9:42 AM TracTickets edited by
- (diff)
Jun 30, 2007:
- 9:31 PM Ticket #91 (PGML: add markup for subscript, superscript, bold, ...) closed by
- fixed: Fixed with
placedirective of<subterm>element in brand new PGML 2.0.
Jun 20, 2007:
- 8:57 AM Ticket #121 (Add download counter to web) created by
- Since we don't use ISDD we should be counting downloads ourselves.
Jun 19, 2007:
- 1:24 PM Ticket #120 (Fix docstring magic to interpret blank lines as whitespace inside ...) created by
- The docstrings used to have whitespace at the start of lines as a …
Note: See TracTimeline
for information about the timeline view.
