Timeline
Nov 27, 2008:
- 6:04 PM Ticket #260 (Path names with spaces are not decoded property on search path) created by
- Path names with spaces are not decoded property on search path. See …
Nov 25, 2008:
- 10:26 AM Ticket #259 (Parsing Failure at ends of files) closed by
- fixed: appears to be fixed.
Nov 19, 2008:
- 3:20 PM Ticket #259 (Parsing Failure at ends of files) created by
- Parsing a file with no trailing whitespace fails. For example: …
Nov 11, 2008:
- 11:45 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) closed by
- invalid: I really don't think this is a bug in Proof General. You can adjust …
Nov 8, 2008:
- 2:46 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) reopened by
- Replying to da: > Your syntax is wrong, comments in elisp …
Nov 7, 2008:
- 5:47 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) closed by
- invalid: Your syntax is wrong, comments in elisp start with ; (semi-colon)
Oct 28, 2008:
- 9:04 AM Ticket #258 (Copying from response buffer also copies colour control chars) created by
- In the latest CVS (updated Oct 28th, but problem existed previously): …
Oct 26, 2008:
- 3:17 AM Ticket #257 (Byte Compilation fails because of comments in the completion file) created by
- I have a problem in a byte compilation of 'Proof General 3.7.1' with …
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
PGIPIncominghas aconvertermember 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 …
Note: See TracTimeline
for information about the timeline view.
