Updating: ATSextval -> ATSPMVextval
Updating: ATSextval -> ATSPMVextval
Updating: miscellaneous
Updating: miscellaneous
Updating: paper history update
Updating: adding a withtype example
Updating: adding a withtype example
Updating: fixing a wrong version number
Updating: fixing 0.1.3 -> 0.1.4 in configure.ac
Updating: initiating ATS2-0.1.5
Updating: improving atslangweb/libraries
Updating: tidying-up
Updating: tidying-up
Updating: minorly improving prelude/string
Updating: minorly improving prelude/string
Updating: adding libc/float
Updating: adding libc/float
Updating: adding libc/float
Updating: miscellaneous
Updating: miscellaneous