(defconst AUC-TeX-version "6_1d"    "AUC TeX version number") (defconst AUC-TeX-date "Wed Sep 16 14:47:32 MET DST 1992"    "AUC TeX release date") (provide 'auc-ver)