Changes between Version 5 and Version 6 of WikiStart


Ignore:
Timestamp:
Jul 20, 2007, 11:32:23 AM (17 years ago)
Author:
Graham Dutton
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v5 v6  
    1515''-- Proof General Developers''
    1616
    17  
    18 
    1917== Pointers ==
    2018
     19 * TracAndMylyn -- Using Trac through Eclipse/Mylyn.
    2120 * TracGuide --  Built-in Documentation
    2221 * [http://proofgeneral.inf.ed.ac.uk] -- The main Proof General web pages