aboutsummaryrefslogtreecommitdiff
path: root/proof.el
AgeCommit message (Expand)Author
1997-10-31o implented proof-find-next-terminator available via C-c C-eThomas Kleymann
1997-10-30Updates for coq, including:Healfdene Goguen
1997-10-24Updated comment about extent typesHealfdene Goguen
1997-10-22Updated proof-segment-up-to to take ""'s into accountHealfdene Goguen
1997-10-17proof-active-terminator inside comment case fixed. Also maybe theDilip Sequiera
1997-10-17fixed a bug in proof-process-active-terminator. Notice that it stillThomas Kleymann
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
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
1996-10-24Emacs mode for legolego
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 12:47:28 +0000