Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
Mar 19, 2007, 10:14:20 AM (17 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v3 v4  
    55
    66 1. [http://proofgeneral.inf.ed.ac.uk/trac/search search] to see if it has already been reported;
    7  1. if not, or if you have something to add, [http://proofgeneral.inf.ed.ac.uk/trac/register register] to use trac (apologies: necessary to avoid spam) and then edit a ticket.
     7 1. if not, or if you have something to add, [http://proofgeneral.inf.ed.ac.uk/trac/register register] to use trac (apologies: necessary to avoid spam) and then create a ticket using "New Ticket" from the toolbar.
    88
    99Please try to select the right components/version for your report and, in the case