Timeline
Oct 2, 2008:
- 11:08 PM Ticket #256 (Use prover-specific Preference Initialisers) created by
- Rather than initialising (i.e., defining) preferences when we add …
Sep 26, 2008:
- 1:43 PM Ticket #248 (Clear error markers at correct points (e.g., when processing text ...) closed by
- fixed: Fixed in ProofScriptDocument? 1.120
Sep 18, 2008:
- 2:25 PM Ticket #236 (Crash when entering antiquotation) closed by
- fixed: Thanks for posts/emails. Stephan's fix is now in CVS.
Sep 17, 2008:
- 5:27 PM Ticket #253 (Refactor to allow more converter objects, investigate conversion mechanisms) closed by
- fixed: Events now refactored as suggested. The session manager generates …
Sep 15, 2008:
- 12:07 PM Ticket #254 (a spam ticket) closed by
- invalid
- 12:06 PM Ticket #255 (Refactor concurrency handling for document) created by
- We need to remodel the concurrency management in the document and …
Sep 11, 2008:
- 1:58 PM Ticket #254 (a spam ticket) created by
- this was created without email verification.
- 9:00 AM Ticket #253 (Refactor to allow more converter objects, investigate conversion mechanisms) created by
PGIPIncoming
has aconverter
member for converting text from the …
Sep 8, 2008:
- 11:49 AM Ticket #15 (Concurrency fixes in GetCommandResponseAction) closed by
- fixed: This class is now replaced by CommandSender?
- 11:48 AM Ticket #252 (Tune script management markers) created by
- Script management markers are an experimental alternative to token …
Sep 6, 2008:
- 3:19 PM Ticket #251 (Exception in editor startup) created by
- This is caused because a document can be initialised without setting …
Sep 5, 2008:
- 1:08 PM Ticket #250 (Interrupt causes document inconsistency) created by
- Test: process AThousandTheorems and interrupt. This problem is …
Sep 4, 2008:
- 5:38 PM Ticket #249 (Script management error for locales; undo action failure should not ...) created by
- Test case: undo in TestLocale?.thy from lemma line (inside locale) to …
- 5:37 PM Ticket #241 (Fix link parse and undo for <whitespace> elements.) closed by
- fixed: Behaviour with comments is now fixed. Other script management …
- 5:33 PM Ticket #248 (Clear error markers at correct points (e.g., when processing text ...) created by
- At the moment error markers are only removed when text is edited or …
- 5:18 PM Ticket #247 (Proof Objects view (IdView) is broken) created by
- This view is broken comprehensively: it throws exceptions when used …
- 4:55 PM Ticket #246 (Fix ProofScriptDocument partitionChangeBroadcast) created by
- This triggers null pointer exceptions in ProjectionDocument? and is …
- 4:37 PM Ticket #245 (Script management: parsing protocol error) closed by
- fixed
- 11:00 AM Ticket #242 (Fix intro configuration (welcome page)) closed by
- External file references removed. Shame we lose the automatic …
Sep 3, 2008:
- 12:08 PM Ticket #245 (Script management: parsing protocol error) created by
- This message is generated when switching to a new file; the parsing …
Sep 2, 2008:
- 12:11 AM Ticket #156 (closing an active editor doesn't work (buggy or confusing ...) closed by
- fixed: Solved by adding session manager argument to the non-retargetable …
Sep 1, 2008:
- 12:02 PM Ticket #244 (Comical giant icons in outline view) created by
- Sometimes the outline view displays abnormally large icons. Precise …
- 11:57 AM Ticket #69 (PGMarkerMethods: skip spaces in document before error marker start) closed by
- fixed: This problem is no longer present with new parser/Isabelle2008.
- 11:54 AM Ticket #153 (is "proof state" view needed anymore?) closed by
- fixed: Good idea to remove this, has been done now. There would be some …
Aug 31, 2008:
- 11:27 AM Ticket #243 (Parsing errors: whitespace lost in parseresult) created by
- Parser.java needs more cleanup: whitespace is being lost, and the …
Aug 28, 2008:
- 5:33 PM Ticket #238 (Remove goto thread) closed by
- fixed: Seems to work just fine. Committed fix.
Aug 25, 2008:
- 5:36 PM Ticket #49 (Make sure File->Open produces sensible feedback when attempted with ...) closed by
- fixed: The error message currently displayed stems from an exception in …
- 5:01 PM Ticket #70 (Add documentation for developer-recommended plugins) closed by
- fixed: See http://proofgeneral.inf.ed.ac.uk/wiki/PG/PGEclipseDevelHints
- 4:48 PM Ticket #242 (Fix intro configuration (welcome page)) created by
- We need to port welcome.xml to the intro content format. Currently it …
Aug 20, 2008:
- 5:08 PM Ticket #24 (Replace current undo management with document-based undo mechanism) closed by
- fixed: This is fixed but there are issues left in script management due to …
Aug 18, 2008:
- 3:08 PM Ticket #241 (Fix link parse and undo for <whitespace> elements.) created by
- Isabelle2008 produces different parseresult output for the PGIP …
Aug 16, 2008:
- 5:53 PM Ticket #7 (Finish proof explorer: inherit decorators, menus, etc. from Project ...) closed by
- fixed: The content filter now works properly for the navigator, which was …
Aug 15, 2008:
- 7:36 PM Ticket #24 (Replace current undo management with document-based undo mechanism) reopened by
- 2:54 PM Ticket #240 (Bad behaviour in startup when proof executables (isabelle, isatool) ...) created by
- If the workbench is started when an editor on a script file is open, …
Aug 14, 2008:
- 5:40 PM TracAccessibility edited by
- (diff)
- 5:40 PM TracAccessibility edited by
- testing - is this editable? (diff)
- 5:38 PM TracAccessibility edited by
- (diff)
- 5:23 PM Ticket #239 (Remove reliance on dom4j) created by
- The dom4j API is non-compliant and unmaintained, and in many ways not …
- 5:02 PM Ticket #71 (Add Error Decoration to documents; optimise Active Script Decoration) closed by
- fixed: Error and Warning Decorators work correctly -- though, like Active …
- 4:23 PM Ticket #238 (Remove goto thread) created by
- The goto thread job nicely collects exceptions from the subjob, but it …
- 4:20 PM Ticket #24 (Replace current undo management with document-based undo mechanism) closed by
- fixed
- 1:17 PM Ticket #155 (sending past end doesn't work quite right ("undo" fails, maybe more)) closed by
- fixed: Think this has been fixed now, see #24
- 1:14 PM Ticket #143 (Add XML/PGIP test scripts to Isabelle/Admin distribution) closed by
- fixed
Jul 31, 2008:
- 11:06 AM Ticket #237 (Odd behaviour of C-w in script buffers) created by
- On Emacs.app in a .thy file ctrl-w will only kill if the region was …
Jul 30, 2008:
- 1:56 PM Ticket #236 (Crash when entering antiquotation) created by
- Entering @{ is broken in 3.7.1 and later. Effect: emacs takes three …
Jul 29, 2008:
- 3:34 PM Ticket #235 (Emacs forgets unicode tokens option) created by
- ProofGeneral > Save Options doesn't make PG remember that "Unicode …
Jul 24, 2008:
- 4:39 PM InterMapTxt edited by
- moved pgwiki to match content (diff)
- 12:06 PM Ticket #234 (unicode-tokens: add command to highlight unicode characters) created by
- This would be useful to distinguish easily between real unicode …
- 10:08 AM WikiStart edited by
- (diff)
- 9:39 AM Ticket #233 (Coq fails to start) closed by
- fixed: Looking at the code I have found the problem, which is triggered when …
- 1:13 AM Ticket #233 (Coq fails to start) created by
- OS: Mac OS X 10.5.4 PG version: 3.7.1 Gnu Emacs version: 22.2.1 (via …
Jul 23, 2008:
- 3:03 PM Milestone PG-Emacs-3.7.1 completed
- Compatibility patches raised for PG 3.7. Next round of prover updates …
Jul 22, 2008:
- 10:55 AM Ticket #224 (X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts) closed by
- wontfix: I'm marking as "wontfix" because X-Symbol is dead after the next …
Jul 19, 2008:
- 4:29 PM WikiStart edited by
- (diff)
- 4:25 PM Ticket #177 (Complete Unicode Token coding system and input method) closed by
- fixed: This work is now largely complete in the PG 4.0 branch. This version …
- 4:15 PM Ticket #232 (Add documentation for Unicode Tokens mode) created by
- Documentation in Proof General manual and in minor mode docstring.
- 3:58 PM Ticket #231 (Consider replacing maths-menu for token mode with own version) created by
- Instead of using maths-menu, we may configure the menu automatically …
- 3:54 PM Ticket #230 (Configuration simplification: unify regexp/function settings) created by
- Goal/save settings use strings (for regexps) and functions. We can …
- 3:53 PM Ticket #229 (Restore mouse and button actions in goals buffers) created by
- These have been removed to simplify the output buffer presentation. …
- 3:52 PM Ticket #228 (Restore tracing slow mode if necessary) created by
- Tracing slow mode disabled font lock in the tracing buffer for large …
- 3:50 PM Ticket #227 (Recover active scripting modeline indicator) created by
- This XEmacs feature indicated in the modeline if scripting was active …
- 3:48 PM Ticket #226 (Add configurable key bindings to Unicode Tokens tables) created by
- Tokens could be used to configure some useful common keybindings, cf …
- 3:46 PM Ticket #225 (Allow Unicode Tokens to work smoothly for several modes at once) created by
- Allow Unicode Tokens to work smoothly for several modes at once. This …
Jul 18, 2008:
- 7:36 PM Ticket #223 (\<zero> vs. \<one> tokens) closed by
- fixed: Fixed as suggested. In fact now all of the tokens which display …
- 5:49 PM Ticket #224 (X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts) created by
- Carbon Emacs 1.6.0, X-Symbol (with either version of the ttf fonts), …
- 9:27 AM Ticket #223 (\<zero> vs. \<one> tokens) created by
- I encountered a remaining issue with unicode support. Token \<one> is …
Jul 17, 2008:
- 1:41 PM Ticket #221 (XEmacs 21.4.x: Isabelle logic menu broken) closed by
- fixed: Fixed, thanks. (:help is GNU Emacs only)
Jul 15, 2008:
- 2:44 PM Ticket #222 (Urgent messages override errors) created by
- A feature of the message model which looks a bit odd to me: error …
Jul 14, 2008:
- 7:46 PM Ticket #221 (XEmacs 21.4.x: Isabelle logic menu broken) created by
- After recent changes in isar/isabelle-system.el (9.1 or 9.2) the logic …
Jul 12, 2008:
- 3:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) created by
- Life moves on, and so does Emacs. We can only afford to support one …
- 3:12 PM WikiStart edited by
- (diff)
- 3:09 PM Ticket #219 (Fix path loading for docstring magic in ProofGeneral.texi) closed by
- fixed
Jul 10, 2008:
- 11:14 PM WikiStart edited by
- (diff)
- 11:14 PM WikiStart edited by
- (diff)
- 11:07 PM Ticket #219 (Fix path loading for docstring magic in ProofGeneral.texi) created by
- Needed before next release to update and extend variable …
- 11:05 PM Ticket #218 (Add documentation for Isabelle settings) created by
- Latest GNU Emacs 23 has nice tooltips for help in menu commands. We …
- 10:37 PM Ticket #196 (Fix X-Symbol for Emacs 23) closed by
- wontfix: Seems to get more broken with newer CVS versions. We could drop …
- 9:48 PM Ticket #217 (Chosen logic: changes should invoke isabelle-load-isar-keywords) created by
- Chosen logic can now be changed using file local variables as well as …
- 9:17 PM Ticket #198 (Prover executable not found when running without interface script) closed by
- fixed: Fixed. The choice of program name is now based on
isatool
by … - 8:55 PM Ticket #176 (Allow isabelle-chosen-logic to be set by variable comment in thy file) closed by
- fixed
- 1:57 PM Ticket #215 (Emacs 23: toolbar issues) closed by
- fixed: Missing toolbar icons fixed by using more recent image location API. …
- 1:56 PM Ticket #216 (Toolbar size on Carbon Emacs) closed by
- wontfix: On OS X 10.4 with recent Carbon Emacs, the toolbar is indeed quite …
- 1:56 PM Ticket #216 (Toolbar size on Carbon Emacs) created by
- A user reported toolbar size problems with latest Carbon Emacs.
- 1:50 PM Ticket #200 (Sledgehammer output broken) closed by
- fixed: Many thanks for diagnosing this problem. The minimal patch is in CVS …
- 1:27 PM Ticket #214 (Processing of buffer sensitive to Unicode option) closed by
- fixed: Now fixed in CVS. Thanks to Simon Winwood for identifying failure point.
Jul 8, 2008:
- 5:40 PM Ticket #215 (Emacs 23: toolbar issues) created by
- Blank toolbar on Linux with current Emacs CVS. Also, a user reported …
- 1:59 PM Ticket #214 (Processing of buffer sensitive to Unicode option) created by
- Issue where processing a buffer with Isabelle works if Unicode Tokens …
Note: See TracTimeline
for information about the timeline view.