Timeline



Jul 19, 2008:

4:29 PM WikiStart edited by David Aspinall
(diff)
4:25 PM Ticket #177 (Complete Unicode Token coding system and input method) closed by David Aspinall
fixed: This work is now largely complete in the PG 4.0 branch. This version …
4:15 PM Ticket #232 (Add documentation for Unicode Tokens mode) created by David Aspinall
Documentation in Proof General manual and in minor mode docstring.
3:58 PM Ticket #231 (Consider replacing maths-menu for token mode with own version) created by David Aspinall
Instead of using maths-menu, we may configure the menu automatically …
3:54 PM Ticket #230 (Configuration simplification: unify regexp/function settings) created by David Aspinall
Goal/save settings use strings (for regexps) and functions. We can …
3:53 PM Ticket #229 (Restore mouse and button actions in goals buffers) created by David Aspinall
These have been removed to simplify the output buffer presentation. …
3:52 PM Ticket #228 (Restore tracing slow mode if necessary) created by David Aspinall
Tracing slow mode disabled font lock in the tracing buffer for large …
3:50 PM Ticket #227 (Recover active scripting modeline indicator) created by David Aspinall
This XEmacs feature indicated in the modeline if scripting was active …
3:48 PM Ticket #226 (Add configurable key bindings to Unicode Tokens tables) created by David Aspinall
Tokens could be used to configure some useful common keybindings, cf …
3:46 PM Ticket #225 (Allow Unicode Tokens to work smoothly for several modes at once) created by David Aspinall
Allow Unicode Tokens to work smoothly for several modes at once. This …

Jul 18, 2008:

7:36 PM Ticket #223 (\<zero> vs. \<one> tokens) closed by coquser
fixed: Fixed as suggested. In fact now all of the tokens which display …
5:49 PM Ticket #224 (X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts) created by Makarius
Carbon Emacs 1.6.0, X-Symbol (with either version of the ttf fonts), …
9:27 AM Ticket #223 (\<zero> vs. \<one> tokens) created by Clemens Ballarin
I encountered a remaining issue with unicode support. Token \<one> is …

Jul 17, 2008:

1:41 PM Ticket #221 (XEmacs 21.4.x: Isabelle logic menu broken) closed by David Aspinall
fixed: Fixed, thanks. (:help is GNU Emacs only)

Jul 15, 2008:

2:44 PM Ticket #222 (Urgent messages override errors) created by Makarius
A feature of the message model which looks a bit odd to me: error …

Jul 14, 2008:

7:46 PM Ticket #221 (XEmacs 21.4.x: Isabelle logic menu broken) created by Makarius
After recent changes in isar/isabelle-system.el (9.1 or 9.2) the logic …

Jul 12, 2008:

3:16 PM Ticket #220 (Remove X-Symbol, XEmacs support and backward compatibility) created by David Aspinall
Life moves on, and so does Emacs. We can only afford to support one …
3:12 PM WikiStart edited by David Aspinall
(diff)
3:09 PM Ticket #219 (Fix path loading for docstring magic in ProofGeneral.texi) closed by David Aspinall
fixed

Jul 10, 2008:

11:14 PM WikiStart edited by David Aspinall
(diff)
11:14 PM WikiStart edited by David Aspinall
(diff)
11:07 PM Ticket #219 (Fix path loading for docstring magic in ProofGeneral.texi) created by David Aspinall
Needed before next release to update and extend variable …
11:05 PM Ticket #218 (Add documentation for Isabelle settings) created by David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
fixed
1:57 PM Ticket #215 (Emacs 23: toolbar issues) closed by David Aspinall
fixed: Missing toolbar icons fixed by using more recent image location API. …
1:56 PM Ticket #216 (Toolbar size on Carbon Emacs) closed by David Aspinall
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 David Aspinall
A user reported toolbar size problems with latest Carbon Emacs.
1:50 PM Ticket #200 (Sledgehammer output broken) closed by David Aspinall
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 David Aspinall
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 David Aspinall
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 Clemens Ballarin
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 Makarius
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 David Aspinall
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 Makarius
duplicate
1:37 PM Ticket #213 (Carbon Emacs: strange unicode abbreviations) created by Makarius
Carbon Emacs 22.2.1, working with "Unicode Tokens"; typing something …
1:37 PM Ticket #212 (Carbon Emacs: strange unicode abbreviations) created by Makarius
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 David Aspinall
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 coquser
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 Generic Isabelle user
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 Makarius
In the *response* buffer the cursor is not visible, but can be moved …

Jun 13, 2008:

3:07 PM WikiStart edited by David Aspinall
(diff)
3:05 PM WikiStart edited by David Aspinall
(diff)
3:03 PM Ticket #208 (Generalise Coq's modeline subgoal counter for other provers) created by David Aspinall
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 Ryan Wisnesky
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 Makarius
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 Generic Isabelle user
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.