Timeline
Aug 31, 2009:
- 9:42 PM Ticket #280 (Unicode Tokens: cleanups) created by
- Final 4.0 cleanups: * choice of default fonts: see if can get …
- 4:57 PM Ticket #274 (Max lisp nesting exceeded on large error outputs) closed by
- fixed: I've fixed, `isar-remove-line' was not recursing indefinitely, but was …
- 2:24 PM Ticket #211 (Coq : deactivation of the 'Holes' functionality) closed by
- fixed: The patch seems ok to me. holes completion in abbreviations is now …
- 9:58 AM Ticket #279 (Proof visibility controls broken) created by
- With additional spans in the buffer the individual visibility control …
- 9:56 AM Ticket #277 (span start vs. command start) closed by
- fixed: Thanks for report. Fixed now but see #278.
- 9:56 AM Ticket #278 (Resolve pointer-movement issues during script management) created by
- Pointer movement control cleanup is in progress, at the moment there …
Aug 28, 2009:
- 9:42 PM Ticket #277 (span start vs. command start) created by
- GNU Emacs 22.1.1, Ubuntu 8.04 LTS, Isabelle2009. The span passed to …
- 12:13 PM Ticket #276 (Unicode tokens: resolve font-lock issues, optimise) created by
- Unicode tokens interacts closely with font lock but there was a …
Aug 20, 2009:
- 7:19 PM Ticket #199 (Allow use of Isabelle.command to wrap commands singly) closed by
- fixed: Position information is now passed to Isabelle. Line and file …
- 7:19 PM Ticket #275 (Overhaul script management command sending) created by
- Script management command sending should be generalised to: * …
- 10:32 AM Ticket #274 (Max lisp nesting exceeded on large error outputs) created by
- [Report from Lucas Dixon] seems that Proof General is sometimes …
- 9:53 AM Ticket #273 (next-error functions: document and streamline) created by
- Parsing prover error messages allows more generality in error handling …
Aug 19, 2009:
- 1:23 PM Ticket #166 (Out of sync on illegal escape character) closed by
- fixed: This is fixed in v 10.9 of
isar.el, which has an experimental …
Aug 17, 2009:
- 5:41 PM Ticket #179 (Losing sync with interrupt) closed by
- fixed: OK, the behaviour in PG is now improved so that it notices "pending" …
- 2:54 PM Ticket #272 (Port identifier completion code from PG Eclipse.) created by
- This would be very useful for Isabelle, which already supports the …
- 2:51 PM Ticket #188 (Option to treat comments as individual statements.) closed by
- fixed: There's a new option 'Retract on Edit' which allows you to edit some …
- 1:32 PM Ticket #192 (Improve out-of-the-box behaviour for some common configurations) closed by
- wontfix: Let's put this one to sleep as wontfix for now: * downstream …
Aug 14, 2009:
- 10:21 AM Ticket #271 (Special characters in Isabelle identifiers missing?) closed by
- fixed: OK, I've looked a bit more closely: this was actually an …
Aug 10, 2009:
Aug 8, 2009:
- 9:55 PM Ticket #271 (Special characters in Isabelle identifiers missing?) created by
- In prover output, the special characters ? and ' seem to be missing. …
- 9:34 PM Ticket #270 (Odd PG/Trac link) created by
- There is an odd link on http://proofgeneral.inf.ed.ac.uk/devel --- the …
Jul 30, 2009:
- 5:23 PM Ticket #232 (Add documentation for Unicode Tokens mode) closed by
- fixed
- 2:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) closed by
- fixed: Pretty much complete.
- 1:34 PM Ticket #218 (Add documentation for Isabelle settings) closed by
- fixed
- 1:27 PM Ticket #234 (unicode-tokens: add command to highlight unicode characters) closed by
- fixed: This was added in version 10.3 of lib/unicode-tokens.el
Note: See TracTimeline
for information about the timeline view.
