Commit message (Expand) | Author | Age | |
---|---|---|---|
* | improved lego-outline-regexp | Thomas Kleymann | 1996-11-12 |
* | fix for incorrect lego-outline-regexp | Thomas Kleymann | 1996-11-10 |
* | fixed bug in ids-to-regexp and improved regular expression for fontifying LEGO | Thomas Kleymann | 1996-11-05 |
* | minor bug fix wrt to font-lock regexps | Thomas Kleymann | 1996-11-02 |
* | improved font-lock customisation for LEGO | Thomas Kleymann | 1996-11-01 |
* | Fixed some bugs. Doubtless introduced others. | Dilip Sequiera | 1996-10-29 |
* | added proof-find-end-of-command | Thomas Kleymann | 1996-10-25 |
* | Emacs mode for lego | lego | 1996-10-24 |