Commit message (Expand) | 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 |
* | 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 |