Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Git is a revision control system, and the Open Logic Project is hosted on the Git server GitHub.
A basic introduction to Git for non-programmers is:
The following link has information on installing and using Git on Mac, Windows, and Linux:
The download may also be obtained there. You will want to have a GitHub account already set up.
Once you have Git installed, you can download the OLT LaTeX source using
git clone firstname.lastname@example.org:OpenLogicProject/OpenLogic.git
If you plan to make additions or improvements to the code which you'd like to contribute to the project, you should first fork the OLP repository and then clone it, as described under Contributing.