Timeline
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 …
Jul 7, 2008:
- 7:23 PM Ticket #213 (Carbon Emacs: strange unicode abbreviations) closed by
- fixed: It works if the backslash is properly escaped -- elisp strings are …
- 5:38 PM Ticket #205 (x-symbol fails in Carbon Emacs) closed by
- duplicate: X-Symbol works for Carbon Emacs version of GNU Emacs 22.X The latest …
- 1:47 PM Ticket #212 (Carbon Emacs: strange unicode abbreviations) closed by
- duplicate
- 1:37 PM Ticket #213 (Carbon Emacs: strange unicode abbreviations) created by
- Carbon Emacs 22.2.1, working with "Unicode Tokens"; typing something …
- 1:37 PM Ticket #212 (Carbon Emacs: strange unicode abbreviations) created by
- Carbon Emacs 22.2.1, working with "Unicode Tokens"; typing something …
Jul 5, 2008:
- 7:00 PM Ticket #207 (dir symbol is void on leopard coq) closed by
- fixed: Thanks for the backtrace. It looks as if Pierre has found this …
- 6:27 PM Ticket #210 (input of symbols in Carbon Emacs) closed by
- fixed: Do you mean using the "Unicode Tokens" mechanism in Carbon Emacs? If …
- 6:10 PM Ticket #203 (Carbon Emacs: no colouring of variables in Isabelle output) closed by
- duplicate: Duplicate (I think) of #206. Please reopen if not.
- 5:56 PM Ticket #209 (Cursor not visible in *response* buffer (GNU Emacs 22 + Carbon Emacs)) closed by
- fixed: This was an intentional change to tidy the display when the window is …
- 5:49 PM Ticket #206 (Special markup not processed in minibuffer messages (warnings etc.)) closed by
- worksforme: Closing because current PG CVS head works on 21.5 (beta28) \"fuki\" …
Jun 17, 2008:
- 11:26 PM Ticket #211 (Coq : deactivation of the 'Holes' functionality) created by
- The manual mentions a 'Holes' feature in section §9.5. It seems that …
Jun 16, 2008:
- 5:48 PM Ticket #210 (input of symbols in Carbon Emacs) created by
- In Xemacs and Xsymbols, typing> results automatically in the …
- 2:14 PM Ticket #209 (Cursor not visible in *response* buffer (GNU Emacs 22 + Carbon Emacs)) created by
- In the *response* buffer the cursor is not visible, but can be moved …
Jun 13, 2008:
- 3:07 PM WikiStart edited by
- (diff)
- 3:05 PM WikiStart edited by
- (diff)
- 3:03 PM Ticket #208 (Generalise Coq's modeline subgoal counter for other provers) created by
- Pierre added a handy subgoal number display to the Coq modeline. This …
Jun 11, 2008:
- 3:03 AM Ticket #207 (dir symbol is void on leopard coq) created by
- Proof general starts correctly with emacs but when I try to start coq …
Jun 9, 2008:
- 11:23 PM Ticket #206 (Special markup not processed in minibuffer messages (warnings etc.)) created by
- XEmacs 21.4.21 on Ubuntu Linux 8.04; Isabelle2008. The special markup …
Jun 3, 2008:
- 2:05 PM Ticket #205 (x-symbol fails in Carbon Emacs) created by
- I am on a brand new MacBook Pro (OS 10.5.3) using Isabelle 2007 and …
Note: See TracTimeline
for information about the timeline view.