Timeline



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 …

Apr 9, 2008:

9:02 PM WikiStart edited by David Aspinall
(diff)
Note: See TracTimeline for information about the timeline view.