aboutsummaryrefslogtreecommitdiff
path: root/pbp.el
AgeCommit message (Collapse)Author
1998-09-03Renamed for new subdirectory structureDavid Aspinall
1997-10-13The package pbp is now integrated in the proof packageThomas Kleymann
1997-03-06implementation of pbptop now records if selected goal is not current,Thomas Kleymann
hence pbp-construct-command does not need to bother to cater for "Next" command
1997-01-27improved highlighting of error messagesThomas Kleymann
1996-12-12support for highlighting Error messages in pbp-mode without using font-lockThomas Kleymann
1996-12-09Took out some debugging code accidentally left in.Dilip Sequiera
1996-12-09Speeded up proof-by-pointing thingsDilip Sequiera
1996-12-05added variable pbp-mode-is so that pbp-mode can be inheritedThomas Kleymann
1996-12-03added pbp-modeThomas Kleymann
1996-12-03Invisible pbp command handlingDilip Sequiera
1996-12-03A few small fixes to deal with performance problems.Dilip Sequiera
1996-11-29removed debug informationThomas Kleymann
1996-11-22A generic package for proof-by-pointingThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 20:13:43 +0000