index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
_pkg.el
blob: 97a893ec74c7ccdea81d7f138025796f55f71043 (
plain
)
1
2
3
4
;;;###autoload (package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular)