Changes between Version 2 and Version 3 of WikiStart


Ignore:
Timestamp:
Feb 24, 2007, 9:35:07 AM (17 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v2 v3  
    1 = Welcome to Proof General Trac!  (running on Trac 0.11dev) =
     1= Welcome to Proof General Trac! =
    22
    3 Trac is a '''minimalistic''' approach to '''web-based''' management of
    4 '''software projects'''. Its goal is to simplify effective tracking and handling of software issues, enhancements and overall progress.
     3This is our project management and issue tracking system.   If you have a bug to report,
     4a patch to supply or an enhancement to suggest please:
    55
    6 All aspects of Trac have been designed with the single goal to
    7 '''help developers write great software''' while '''staying out of the way'''
    8 and imposing as little as possible on a team's established process and
    9 culture.
     6 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.
    108
    11 As all Wiki pages, this page is editable, this means that you can
    12 modify the contents of this page simply by using your
    13 web-browser. Simply click on the "Edit this page" link at the bottom
    14 of the page. WikiFormatting will give you a detailed description of
    15 available Wiki formatting commands.
     9Please try to select the right components/version for your report and, in the case
     10of bugs, say exactly which platform and external software versions you're using
     11(e.g., which version of Emacs or Eclipse, and which version of Isabelle, Coq, etc).
    1612
    17 "[wiki:TracAdmin trac-admin] ''yourenvdir'' initenv" created
    18 a new Trac environment, containing a default set of wiki pages and some sample
    19 data. This newly created environment also contains
    20 [wiki:TracGuide documentation] to help you get started with your project.
     13Thanks!
    2114
    22 You can use [wiki:TracAdmin trac-admin] to configure
    23 [http://trac.edgewall.org/ Trac] to better fit your project, especially in
    24 regard to ''components'', ''versions'' and ''milestones''.
     15''-- Proof General Developers''
    2516
     17 
    2618
    27 TracGuide is a good place to start.
    28 
    29 Enjoy! [[BR]]
    30 ''The Trac Team''
    31 
    32 == Starting Points ==
     19== Pointers ==
    3320
    3421 * TracGuide --  Built-in Documentation
     22 * [http://proofgeneral.inf.ed.ac.uk] -- The main Proof General web pages
     23 * [http://proofgeneral.inf.ed.ac.uk/wiki] -- The main Proof General wiki
    3524 * [http://trac.edgewall.org/ The Trac project] -- Trac Open Source Project
    3625 * [http://trac.edgewall.org/wiki/TracFaq Trac FAQ] -- Frequently Asked Questions