Changes between Version 10 and Version 11 of GeneralInformation/Developers


Ignore:
Timestamp:
03/31/14 12:33:21 (10 years ago)
Author:
pharms
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GeneralInformation/Developers

    v10 v11  
    1414The source code of AutoQUEST is hosted in a SVN repository. The repository allows anonymous reads. In order to commit something to the repository, you need to authenticate. To get an account, contact [http://www.swe.informatik.uni-goettingen.de/staff/steffen-herbold Steffen Herbold]. The repository URL is: https://autoquest.informatik.uni-goettingen.de/svn/autoquest/ 
    1515 
    16 The coding conventions used in AutoQUEST are provided as Eclipse settings. The can be downloaded [/trac/attachment/wiki/GeneralInformation/Developers/codetemplatesAutoQUEST.xml here (code templates)] and [/trac/attachment/wiki/GeneralInformation/Developers/formattingAutoQUEST.xml here (formatting settings)]. 
     16The coding conventions used in AutoQUEST are provided as Eclipse settings. The can be downloaded [/attachment/wiki/GeneralInformation/Developers/codetemplatesAutoQUEST.xml here (code templates)] and [/attachment/wiki/GeneralInformation/Developers/formattingAutoQUEST.xml here (formatting settings)]. 
    1717 
    1818== Build Systems ==