adds reference to Proof General

	modified:   profiles/mattfield/defaults.el