aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1997-10-16merged script management (1.10.2.18) with main branchThomas Kleymann
1997-10-16o merged script management (1.20.2.11) on the main branchThomas Kleymann
1997-10-14proof-process-active-terminator is now an extension ofThomas Kleymann
1997-10-13*** empty log message ***Thomas Kleymann
1997-10-13put script-management branch back on main branchThomas Kleymann
1997-10-13The package pbp is now integrated in the proof packageThomas Kleymann
1997-10-13lego-count-undos is now aware that comments are treated separatelyThomas Kleymann
1997-10-08*** empty log message ***Healfdene Goguen
1997-09-18X-Symbol version 4.45 betaDavid Aspinall
1997-09-18This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
1997-09-17X-Symbol version 4.45 betaDavid Aspinall
1997-09-17This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
1997-08-25minor change in font-lock patternThomas Kleymann
1997-03-06implementation of pbptop now records if selected goal is not current,Thomas Kleymann
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-12removed font-lock support for Error messages; this is now supported inThomas 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-05added font-lock properties for pbp-lego-modeThomas Kleymann
1996-12-03added pbp-modeThomas Kleymann
1996-12-03Invisible pbp command handlingDilip Sequiera
1996-12-03minor extensions of regular expressionsThomas Kleymann
1996-12-03Minor fix for performance reasons.Dilip Sequiera
1996-12-03A few small fixes to deal with performance problems.Dilip Sequiera
1996-11-29removed debug informationThomas Kleymann
1996-11-29o added logical macros as keywordsThomas Kleymann
1996-11-22pbp.el succeeds ext.elThomas Kleymann
1996-11-22A generic package for proof-by-pointingThomas Kleymann
1996-11-22*** empty log message ***Thomas Kleymann
1996-11-21Synchro bug fixed.Dilip Sequiera
1996-11-21*** empty log message ***Thomas Kleymann
1996-11-18Fixed Undo problem, now prettifies output, and deals a bit more gracefullyDilip Sequiera
1996-11-17Cleaned ext.el up a bit in terms of its namespace and the management ofDilip Sequiera
1996-11-13minor changes regarding regular expressionsThomas Kleymann
1996-11-13Fixed parenthesis matching to deal with commentsDilip Sequiera
1996-11-13Yves Bertot:Thomas Kleymann
1996-11-13Yves Bertot's extension for proof by pointing. These should probablyThomas Kleymann
1996-11-13Yves Bertot's proof by pointingThomas Kleymann
1996-11-12improved lego-outline-regexpThomas Kleymann
1996-11-10fix for incorrect lego-outline-regexpThomas 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-02minor bug fix wrt to font-lock regexpsThomas 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
1996-03-15Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-05 09:35:58 +0000