;; Generated package description from proof-general.el  -*- no-byte-compile: t -*-
(define-package "proof-general" "4.6snapshot0.20260113.122819" "A generic Emacs interface for proof assistants" '((emacs "25.2")) :commit "e164eca4e94fe9db750e1a350bb462be30c4469a" :maintainer '(nil . "proof-general-maintainers@groupes.renater.fr") :url "https://proofgeneral.github.io/")
