Updating: improving ATSLIB documentation
Updating: miscellaneous
Updating: removing print_val and prerr_val
Updating: fixing errmsg reporting
Updating: add Algorianim/insertsort
Updating: minorly improving
Updating: license change: LGPL -> BSD; adding libats/ML/matrix0
Updating: generally improving
Updating: improving libats/ML/matrix0
Updating: minorly improving prelude/matrixref and libats/ML/matrix0
Updating: minorly improving
Updating: renaming some files
updating: minorly improving
Updating: minorly improving
Updating: adding an example of ref-counted syntax tree
Updating: improving ATS-QA-LIST example
Updating: minorly improving
Updating: minorly improving
Updating: minorly improving
Updating: tidying-up code and minorly improving doc