Context Navigation

Timeline

9:17 AM Ticket #131 (Add preference setting for interrupt command) created by David Aspinall: This is prover specific and (in the case of Isabelle), unfortunately …

9:55 PM Ticket #126 (Repair symbol handling) closed by David Aspinall: fixed
9:54 PM Ticket #20 (Fix ProofScriptEditor to change symbols cleanly) closed by David Aspinall: fixed: Fixed now; using positions which move with insertions and deletions …
4:58 PM Ticket #130 (Add project batch builder) created by David Aspinall: 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 David Aspinall: These symbols are hidden by font locking in X-Symbol in XEmacs with …

10:11 PM Ticket #128 (Navigator view broken) created by David Aspinall: 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 David Aspinall: PG often loses track of the active editor. Instead of self managing …
10:36 AM Ticket #126 (Repair symbol handling) created by David Aspinall: Symbol handling is currently broken, needs urgent repair.
9:45 AM RecentChanges edited by trac: (diff)
9:45 AM TitleIndex edited by trac: (diff)
9:45 AM TracWorkflow edited by trac: (diff)
9:25 AM TracTickets edited by trac: (diff)
9:23 AM TracTickets edited by trac: (diff)

7:30 PM Ticket #125 (Use <askprefs> message to configure prover-specific preferences) created by David Aspinall: Isabelle supports the PGIP <askprefs>, etc messages to advertise user …
1:29 PM Ticket #124 (Edited text doesn't update document model) created by David Aspinall: 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 David Aspinall: These settings are in ProverNamePreferences and can be set in …
9:38 AM Ticket #52 (An issue with current version of Trac) closed by David Aspinall: fixed
9:28 AM Ticket #68 (Move to Eclipse 3.3 at 3.3M5) closed by David Aspinall: fixed

9:31 PM Ticket #91 (PGML: add markup for subscript, superscript, bold, ...) closed by David Aspinall: fixed: Fixed with place directive of <subterm> element in brand new PGML 2.0.

8:57 AM Ticket #121 (Add download counter to web) created by David Aspinall: Since we don't use ISDD we should be counting downloads ourselves.

1:24 PM Ticket #120 (Fix docstring magic to interpret blank lines as whitespace inside ...) created by David Aspinall: The docstrings used to have whitespace at the start of lines as a …

2:16 PM Ticket #119 (Fix compilation problems, missing files) created by David Aspinall: Current compilation errors: […]
2:11 PM Ticket #118 (Complete X-Symbol unicode patch and add symbol configuration for Isabelle) created by David Aspinall: X-Symbol unicode patch allows use of token languages to input Unicode …
2:09 PM Ticket #117 (Add resized toolbar icons) created by David Aspinall: Add resized toolbar icons that match Emacs 22's GNOME look to avoid …

3:03 PM Ticket #116 (Coq syntax highlighting: identifiers starting with "fun" are wrongly ...) closed by David Aspinall: fixed: Here's a test case: […] This has been fixed in CVS head now. …

1:43 PM Ticket #116 (Coq syntax highlighting: identifiers starting with "fun" are wrongly ...) created by Robin Green: In my Coq file, identifiers beginning with "fun" have the "fun" in …

3:59 PM Ticket #115 (Isabelle find-theorems form) closed by Tjark Weber: fixed

11:49 PM Ticket #115 (Isabelle find-theorems form) created by David Aspinall: Contribution from Tjark Weber: We have a tested and (hopefully) …
10:21 PM Ticket #114 (Spurious "replaced xyz occurrences" messages) closed by David Aspinall: fixed: Fixed in CVS head now. This was a bug in PG introduced when fixing …

3:57 PM Ticket #114 (Spurious "replaced xyz occurrences" messages) created by nipkow: I keep getting "Replaced xyz occurrences" in the xemacs minibuffer …

7:29 PM Ticket #113 (Coq commands not described in coq/coq-syntax.el) closed by courtieu: fixed: Done, thank you for signaling this. Be aware that Check is available …

5:26 PM Ticket #113 (Coq commands not described in coq/coq-syntax.el) created by Evgeny Makarov: Hello, The following commands, given in the "Vernacular Commands …

10:21 AM Ticket #111 (Centering the goal window on the right part of the goals) closed by courtieu: fixed: Replying to bertot: > In coq, when doing large proofs, …
10:00 AM Ticket #110 (Search Rewrite and Search About queries for Proof General/Coq) closed by courtieu: fixed

1:29 PM Ticket #109 (Missing output from Coq) closed by courtieu: fixed: OK, this should be fixed. When Coq outputs a message followed by the …

Note: See TracTimeline for information about the timeline view.