ptnorm computes the CDF of the truncated normal distribution. Taken from the "msm" package by C. H. Jackson, available on CRAN.
Pierre-Matthieu Pair, Régis Lebrun.