Timeline
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 …
Apr 9, 2008:
Note: See TracTimeline
for information about the timeline view.