Fix NEWS.
Script fixes; when determining authorship of source files, don't count copyright-updating commits.
Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now works).
Fixes related to parametric datatype printing.
Update copyrights, add missing file-level documentation; fix perms.
Minor cleanup.
Fix NodeValue bitfields for 32-bit; fix comment.
disable substring in default mode
Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
Merge branch '1.3.x'
mv prp to regress1
Merge branch '1.3.x'
Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
mv prp to regress1