«پایگاه فهرستگان نسخ خطی» در کتابخانه رضوی راه اندازی می شود