Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Ticket updates Repository changesets Wiki changes

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)