Changes between Version 1 and Version 2 of WikiStart


Ignore:
Timestamp:
Jan 22, 2007, 9:37:39 PM (17 years ago)
Author:
anonymous
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v1 v2  
    1 = Welcome to Trac 0.11dev =
     1= Welcome to Proof General Trac!  (running on Trac 0.11dev) =
    22
    33Trac is a '''minimalistic''' approach to '''web-based''' management of