Changes between Version 5 and Version 6 of WikiStart


Ignore:
Timestamp:
Jan 5, 2018 4:24:04 PM (6 months ago)
Author:
tirons
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v5 v6  
    1212=== Getting the code ===
    1313
    14 Lemma has moved to git!
     14Lemma uses git
    1515{{{
    1616git clone https://git.lemmasoftware.org/Lemma.git
     
    1818
    1919Read only anonymous access is permitted. If you would like to contribute and obtain write access please email  [mailto:info@lemmasoftware.org?Subject=username%20request&body=Name=%0DInstitute=%0DWhere%20you%20heard%20about%20Lemma= info] for a username and password.
     20
     21If you prefer to use !GitHub, Lemma is mirrored there as well, pull requests can be managed though !GitHub too.
     22[https://github.com/LemmaSoftware/Lemma]
    2023
    2124In the future, links for stable release version tarballs (and zip files) will be made available here.
     
    3033== Documentation ==
    3134
    32  - Doxygen generated man pages for [https://lemmasoftware.org/doxygen/ development] branch
    33  - A basic [doxygen:] 
    34  - [doxygen:]
     35 - Doxygen generated man pages are available [doxygen: here]
     36   
    3537== Benchmarks ==
    3638