Changes between Initial Version and Version 1 of MacBook


Ignore:
Timestamp:
Aug 18, 2010, 4:20:26 PM (14 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MacBook

    v1 v1  
     1A fancy expensive shiny machine that unfortunately doesn't run Proof General
     2as fast as we'd like #324