aboutsummaryrefslogtreecommitdiffhomepage
path: root/lego.el
Commit message (Expand)AuthorAge
* Added lego-global-p as always false, but for consistency with Coq mode.Gravatar Healfdene Goguen1997-11-20
* Added indentation for lego-mode.Gravatar Dilip Sequiera1997-11-18
* Added some magic commands: proof-frob-locked-end, proof-try-command,Gravatar Dilip Sequiera1997-11-17
* Assign new variable proof-goal-hyp-fn to lego-goal-hyp, which isGravatar Healfdene Goguen1997-11-06
* New indentation for lego-count-undos (smile)Gravatar Healfdene Goguen1997-10-24
* o merged script management (1.20.2.11) on the main branchGravatar Thomas Kleymann1997-10-16
* lego-count-undos is now aware that comments are treated separatelyGravatar Thomas Kleymann1997-10-13
* *** empty log message ***Gravatar Healfdene Goguen1997-10-08
* minor change in font-lock patternGravatar Thomas Kleymann1997-08-25
* removed font-lock support for Error messages; this is now supported inGravatar Thomas Kleymann1996-12-12
* Speeded up proof-by-pointing thingsGravatar Dilip Sequiera1996-12-09
* added font-lock properties for pbp-lego-modeGravatar Thomas Kleymann1996-12-05
* minor extensions of regular expressionsGravatar Thomas Kleymann1996-12-03
* Minor fix for performance reasons.Gravatar Dilip Sequiera1996-12-03
* A few small fixes to deal with performance problems.Gravatar Dilip Sequiera1996-12-03
* o added logical macros as keywordsGravatar Thomas Kleymann1996-11-29
* *** empty log message ***Gravatar Thomas Kleymann1996-11-22
* *** empty log message ***Gravatar Thomas Kleymann1996-11-21
* Cleaned ext.el up a bit in terms of its namespace and the management ofGravatar Dilip Sequiera1996-11-17
* minor changes regarding regular expressionsGravatar Thomas Kleymann1996-11-13
* Fixed parenthesis matching to deal with commentsGravatar Dilip Sequiera1996-11-13
* Yves Bertot's proof by pointingGravatar Thomas Kleymann1996-11-13
* improved lego-outline-regexpGravatar Thomas Kleymann1996-11-12
* fix for incorrect lego-outline-regexpGravatar Thomas Kleymann1996-11-10
* fixed bug in ids-to-regexp and improved regular expression for fontifying LEGOGravatar Thomas Kleymann1996-11-05
* minor bug fix wrt to font-lock regexpsGravatar Thomas Kleymann1996-11-02
* improved font-lock customisation for LEGOGravatar Thomas Kleymann1996-11-01
* Fixed some bugs. Doubtless introduced others.Gravatar Dilip Sequiera1996-10-29
* added proof-find-end-of-commandGravatar Thomas Kleymann1996-10-25
* Emacs mode for legoGravatar lego1996-10-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 01:15:24 +0000