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
/
pbp.el
blob: 921765fb9563049fc363eb0eae1ec21ebc254724 (
plain
)
1
2
3
;; $Id$ (provide 'pbp)