index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
pbp.el
Commit message (
Collapse
)
Author
Age
*
The package pbp is now integrated in the proof package
Thomas Kleymann
1997-10-13
|
*
implementation of pbptop now records if selected goal is not current,
Thomas Kleymann
1997-03-06
|
|
|
|
|
hence pbp-construct-command does not need to bother to cater for "Next" command
*
improved highlighting of error messages
Thomas Kleymann
1997-01-27
|
*
support for highlighting Error messages in pbp-mode without using font-lock
Thomas Kleymann
1996-12-12
|
*
Took out some debugging code accidentally left in.
Dilip Sequiera
1996-12-09
|
*
Speeded up proof-by-pointing things
Dilip Sequiera
1996-12-09
|
*
added variable pbp-mode-is so that pbp-mode can be inherited
Thomas Kleymann
1996-12-05
|
*
added pbp-mode
Thomas Kleymann
1996-12-03
|
*
Invisible pbp command handling
Dilip Sequiera
1996-12-03
|
*
A few small fixes to deal with performance problems.
Dilip Sequiera
1996-12-03
|
*
removed debug information
Thomas Kleymann
1996-11-29
|
*
A generic package for proof-by-pointing
Thomas Kleymann
1996-11-22