Updating: improving libats/sllist.
Updating: improving libc/math.
Updating: tidying up some code.
Updating: tidying up some code.
Updating: adding contrib/SML/Z3
Updating: improving contrib/SML/Z3.
Updating: minorly improving.
Updating: minorly improving.
Updating: minorly improving.
Updating: improving doc in general.
Merge branch 'master' of github.com:githwxi/ATS-Postiats
Updating: preparing for packaging.
Updating: minorly tidying up.
Updating: adding an example.
Updating: improving libc/unistd.
Updating: adding some examples in doc/EXAMPLE/EFFECTIVATS/.
Updating: improving doc/EXAMPLE/EFFECTIVATS/.
Updating: improving ATSLIB/libc.
Updating: improving contrib/SMT/Z3/.
Updating: z3*.sats