Changes between Version 11 and Version 12 of WikiStart


Ignore:
Timestamp:
Feb 1, 2008, 12:17:18 AM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v11 v12  
    1 = Welcome to Proof General Trac! =
     1= Welcome to [http://proofgeneral.inf.ed.ac.uk Proof General] Trac! =
    22
    33This is our project management and issue tracking system.   If you have a bug to report,