deleted:    .emacs.d/conf.d/55sml.el
    deleted:    .emacs.d/conf.d/55sml.elc
    modified:   .emacs.d/conf.d/75org.el
    modified:   .emacs.d/conf.d/75org.elc
    deleted:    .emacs.d/conf.d/85coq.el
    deleted:    .emacs.d/conf.d/85coq.elc