Explain ATS1 installation

master-q committed Sep 16, 2015

Updated Building and installing (markdown)

githwxi committed Sep 15, 2015

Added OS X instructions

bbarker committed Dec 20, 2014

instructions for ATS2-min

bbarker committed Dec 10, 2014

Updated Building and installing (markdown)

bbarker committed Nov 28, 2014

Updating: adding .gitattributes

githwxi committed Oct 2, 2014

Information on GMP build problem

bbarker committed Sep 21, 2014

Some fix

master-q committed Aug 16, 2014

About Debian package

master-q committed Aug 16, 2014

Updated Building and installing (markdown)

githwxi committed Aug 14, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

Updated Building and installing (markdown)

githwxi committed Aug 9, 2014

removing h1s

bbarker committed Aug 8, 2014

Adding docker info and simpler makefile instruction

bbarker committed Aug 8, 2014

Created Building and installing (markdown)

bbarker committed Aug 8, 2014