diff options
author | Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:03:08 +0000 |
---|---|---|
committer | Healfdene Goguen <da+pg-hhg@inf.ed.ac.uk> | 1997-11-20 13:03:08 +0000 |
commit | 9f53d562887b96399e5f65f4fe9275767f3db103 (patch) | |
tree | 35bb8fdd81681f6ea23e3134030461aa53d61ba8 /pbp.el | |
parent | cf0e28eb1d0148fff53ad79d817e9330ddfe529e (diff) |
Added coq-global-p for global declarations and definitions. These now
get lifted in the same way as lemmas.
Changed [meta (control i)] to [meta tab] in key definition.
Changed menu, and made help in menu refer to info mode.
Diffstat (limited to 'pbp.el')
0 files changed, 0 insertions, 0 deletions