aboutsummaryrefslogtreecommitdiff
path: root/proof.el
AgeCommit message (Collapse)Author
1997-10-17fixed a bug in proof-process-active-terminator. Notice that it stillThomas Kleymann
doesn't work when you are inside a comment and press the proof-terminal-char
1997-10-16Figured out display tables.Dilip Sequiera
1997-10-16merged script management (1.10.2.18) with main branchThomas Kleymann
1997-10-14proof-process-active-terminator is now an extension ofThomas Kleymann
proof-assert-until-point (it was broken and looks healthier now)
1997-10-13put script-management branch back on main branchThomas Kleymann
1996-12-03Invisible pbp command handlingDilip Sequiera
1996-12-03A few small fixes to deal with performance problems.Dilip Sequiera
1996-11-22*** empty log message ***Thomas Kleymann
1996-11-21*** empty log message ***Thomas Kleymann
1996-11-05Bug with semicolon minor mode near-fixedDilip Sequiera
1996-11-05fixed bug in ids-to-regexp and improved regular expression for fontifying LEGOThomas Kleymann
1996-11-01improved font-lock customisation for LEGOThomas Kleymann
1996-10-29Fixed some bugs. Doubtless introduced others.Dilip Sequiera
1996-10-25added proof-find-end-of-commandThomas Kleymann
moved some bindings from lego-mode-map to proof-mode-map
1996-10-24Emacs mode for legolego
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 01:55:18 +0000