| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-09-03 | Renamed for new subdirectory structure | David Aspinall |
| 1997-10-13 | The package pbp is now integrated in the proof package | Thomas Kleymann |
| 1997-03-06 | implementation of pbptop now records if selected goal is not current, | Thomas Kleymann |
| 1997-01-27 | improved highlighting of error messages | Thomas Kleymann |
| 1996-12-12 | support for highlighting Error messages in pbp-mode without using font-lock | Thomas Kleymann |
| 1996-12-09 | Took out some debugging code accidentally left in. | Dilip Sequiera |
| 1996-12-09 | Speeded up proof-by-pointing things | Dilip Sequiera |
| 1996-12-05 | added variable pbp-mode-is so that pbp-mode can be inherited | Thomas Kleymann |
| 1996-12-03 | 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-11-29 | removed debug information | Thomas Kleymann |
| 1996-11-22 | A generic package for proof-by-pointing | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |