aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-15This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
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-02-17 18:40:30 +0000