Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
← Previous Change
Wiki History
Next Change →
Changes between
Initial Version
and
Version 1
of
MacBook
View differences
inline
side by side
Show
lines around each change
Show the changes in full context
Ignore:
Blank lines
Case changes
White space changes
Timestamp:
Aug 18, 2010, 4:20:26 PM (
14 years
ago)
Author:
David Aspinall
Comment:
--
Legend:
Unmodified
Added
Removed
Modified
MacBook
v1
v1
1
A fancy expensive shiny machine that unfortunately doesn't run Proof General
2
as fast as we'd like #324