Timeline
Apr 9, 2008:
Feb 17, 2008:
- 12:44 PM Ticket #204 (undo stops undoing in large proofs) closed by
- fixed: Thanks for raising this. I've added an item to the FAQ, and also …
- 12:35 PM Ticket #201 (X-Symbol only half enabled (Emacs: yes, prover: no)) closed by
- fixed: Fixed. Caused by clash with Unicode Tokens (which promptly turned off …
- 11:57 AM Ticket #202 (Prover chokes on Unicode Tokens (Carbon Emacs)) closed by
- fixed: Fixed: left over experimental code removed. This mode is being …
Feb 15, 2008:
- 12:13 AM Ticket #204 (undo stops undoing in large proofs) created by
- In large Coq proofs (with more than 100 lines), undo stops working. …
Feb 13, 2008:
- 3:40 PM Ticket #203 (Carbon Emacs: no colouring of variables in Isabelle output) created by
- E.g. printing term "x" merely shows a black "x", not a blue one as …
- 3:38 PM Ticket #202 (Prover chokes on Unicode Tokens (Carbon Emacs)) created by
- After a recent change in the unicode token mode, the prover chokes on …
- 3:35 PM Ticket #201 (X-Symbol only half enabled (Emacs: yes, prover: no)) created by
- Linux (SuSE or Ubuntu) and xemacs-21.4.x Running the …
Feb 8, 2008:
- 11:29 AM Ticket #200 (Sledgehammer output broken) created by
- Output appears in
*isabelle*buffer but not response buffer. …
Feb 7, 2008:
- 9:42 AM Ticket #199 (Allow use of Isabelle.command to wrap commands singly) created by
- Isabelle.command allows additional "properties" to be attached to …
Feb 6, 2008:
- 11:52 PM Ticket #197 (Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0)) closed by
- fixed: Thanks for the report. Not just Carbon! A generic problem, …
- 3:52 PM Ticket #198 (Prover executable not found when running without interface script) created by
- Using Carbon Emacs 1.6.0 without the isar/interface script, but …
- 3:39 PM Ticket #197 (Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0)) created by
- Using native Carbon Emacs 1.6.0 on Mac OS 10.4.x the Unicode Tokens …
Feb 3, 2008:
- 2:28 PM Ticket #196 (Fix X-Symbol for Emacs 23) created by
- X-Symbol in Emacs 23 is disabled in PG 3.7 because of breakage due to …
Note: See TracTimeline
for information about the timeline view.
