| 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |