_pkg.el « generic - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/generic/_pkg.el

blob: 97a893ec74c7ccdea81d7f138025796f55f71043 (plain)

;;;###autoload
(package-provide 'ProofGeneral
		 :version "3.3pre010320"
		 :type 'regular)