    (require 'ansi-color)
    (load "~/.emacs.d/lisp/PG/generic/proof-site")
