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 …
Feb 1, 2008:
- 12:17 AM WikiStart edited by
- (diff)
- 12:16 AM WikiStart edited by
- (diff)
- 12:09 AM Ticket #195 (Replace crufty PHP code for interpreting outline mode with some Javascript) created by
- There is some crufty PHP code for displaying Emacs outline files, e.g. …
- 12:07 AM Ticket #194 (Fix links on web pages and odd mime types for linked files under releases) created by
- The home page links (click on the general) are no longer working. …
- 12:01 AM Ticket #193 (Fix output of texi2html) created by
- Several glitches are now appearing in the user manuals, including …
Jan 31, 2008:
- 11:50 PM Milestone PG-Emacs-3.7 completed
- Next PG release aimed to coincide with Isabelle2007. …
- 10:24 PM Ticket #192 (Improve out-of-the-box behaviour for some common configurations) created by
- Several places, e.g.: * Compatibility with the standard Coq Windows …
Jan 30, 2008:
- 1:59 PM Ticket #118 (Complete X-Symbol unicode patch and add symbol configuration for Isabelle) closed by
- wontfix: I now view this as a dead-end. The X-Symbol code is too crufty and …
Jan 29, 2008:
- 9:18 PM Ticket #184 (lib/maths-menu.el doesn't compile on XEmacs 21.4) closed by
- fixed: This file doesn't work in XEmacs 21.4, and getting it to compile there …
- 9:17 PM Ticket #178 (Emacs occasionally hangs when doing isearch-forward.) closed by
- worksforme
- 8:31 PM Ticket #189 (Undo does not work for diagnostic commands in proofs) closed by
- fixed: Fixed. Thanks for reporting this. It was caused by a half-complete …
- 8:29 PM Ticket #191 (Code cleanup: remove proof-no-command) created by
- We could replace
proof-no-command
simply by nil. - 7:55 PM Ticket #186 (Failed initialization of *trace* buffer (xemacs-21.4.x)) closed by
- duplicate: Duplicate of #183
- 7:55 PM Ticket #183 (ProofGeneral crashes when displaying tracing messages) closed by
- fixed: Thanks for spotting this! Fixed now, but see #190.
- 7:53 PM Ticket #190 (Improve proof shell initialisation order) created by
- Init order in proof-shell-start is tricky, because the shell mode sets …
- 9:39 AM Ticket #189 (Undo does not work for diagnostic commands in proofs) created by
- When trying to undo a diagnostic command (such as thm) occurring …
- 5:20 AM Ticket #188 (Option to treat comments as individual statements.) created by
- The commands of type (* comment *) and -- "comment" are absorbed as …
- 5:15 AM Ticket #187 (If sent command fails, don't move the cursor.) created by
- Typical work flow is: change something, send using c-c c-return. If …
Jan 28, 2008:
- 12:55 PM Ticket #185 (Failed initialization of *trace* buffer (xemacs-21.4.x)) closed by
- duplicate
- 12:53 PM Ticket #186 (Failed initialization of *trace* buffer (xemacs-21.4.x)) created by
- Using xemacs-21.4.x (on Mac OS or Linux), the initial *trace* buffer …
- 12:53 PM Ticket #185 (Failed initialization of *trace* buffer (xemacs-21.4.x)) created by
- Using xemacs-21.4.x (on Mac OS or Linux), the initial *trace* buffer …
- 11:45 AM Ticket #184 (lib/maths-menu.el doesn't compile on XEmacs 21.4) created by
- […] I am using debian unstable xemacs version: 21.4 (patch 21)…
- 11:16 AM Ticket #183 (ProofGeneral crashes when displaying tracing messages) created by
- ProofGeneral crashes while trying to display tracing messages produced …
Jan 27, 2008:
- 11:44 AM Ticket #181 (Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10)) closed by
- fixed: Fixed. Same issue as #182.
- 11:44 AM Ticket #182 (Problem with sub/superscript in GNU Emacs 21.4.1 (Ubuntu 7.10)) closed by
- fixed: Fixed in CVS. Caused by improvement in sub/super handling enabled for …
Jan 26, 2008:
- 4:57 PM Ticket #182 (Problem with sub/superscript in GNU Emacs 21.4.1 (Ubuntu 7.10)) created by
- In GNU Emacs 21.4.1 (Ubuntu 7.10) sub/superscript control sequences …
- 4:31 PM Ticket #181 (Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10)) created by
- Starting Proof General with GNU Emacs 21.4.1 (Ubuntu 7.10) produces …
Note: See TracTimeline
for information about the timeline view.