Downloading WikiTrust via Git

Our preferred way to distribute the code is via Git. Git enables you to easily get the latest version of the code, including any bug-fixes. Git also makes it easy for you to contribute to the project (see Contributing to WikiTrust for more information).

Stable branch

To get the code, do:

git clone git://trust.cse.ucsc.edu/share/git/OcamlLdaLibs.git
git clone git://trust.cse.ucsc.edu/share/git/wikitrust.git

To bring your code up to date, simply do:

```
git pull
```
and recompile the code.

Bleeding-edge branch

If you are interested in the bleeding-edge version (which may work better, as it includes all bugfixes), you can do:

git clone git://trust.cse.ucsc.edu/share/git/OcamlLdaLibs.git
cd OcamlLdaLibs
git branch --track unstable origin/unstable
git checkout unstable

cd ..

git clone git://trust.cse.ucsc.edu/share/git/wikitrust.git
cd wikitrust
git branch --track unstable origin/unstable
git checkout unstable

Once you do this, you can update your version of the code via:

cd OcamlLdaLibs
git pull
cd ../wikitrust
git pull

Here is a description of all branches available.