aboutsummaryrefslogtreecommitdiff
path: root/lego.el
AgeCommit message (Expand)Author
1997-11-26o simplified code:Thomas Kleymann
1997-11-24Added proof-execute-minibuffer-cmd and scripting minor mode.Dilip Sequiera
1997-11-20Added lego-global-p as always false, but for consistency with Coq mode.Healfdene Goguen
1997-11-18Added indentation for lego-mode.Dilip Sequiera
1997-11-17Added some magic commands: proof-frob-locked-end, proof-try-command,Dilip Sequiera
1997-11-06Assign new variable proof-goal-hyp-fn to lego-goal-hyp, which isHealfdene Goguen
1997-10-24New indentation for lego-count-undos (smile)Healfdene Goguen
1997-10-16o merged script management (1.20.2.11) on the main branchThomas Kleymann
1997-10-13lego-count-undos is now aware that comments are treated separatelyThomas Kleymann
1997-10-08*** empty log message ***Healfdene Goguen
1997-08-25minor change in font-lock patternThomas Kleymann
1996-12-12removed font-lock support for Error messages; this is now supported inThomas Kleymann
1996-12-09Speeded up proof-by-pointing thingsDilip Sequiera
1996-12-05added font-lock properties for pbp-lego-modeThomas Kleymann
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-29o added logical macros as keywordsThomas Kleymann
1996-11-22*** empty log message ***Thomas Kleymann
1996-11-21*** empty log message ***Thomas Kleymann
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's proof by pointingThomas Kleymann
1996-11-12improved lego-outline-regexpThomas Kleymann
1996-11-10fix for incorrect lego-outline-regexpThomas Kleymann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 02:36:01 +0000