| Age | Commit message (Expand) | Author |
|---|
| 2019-05-16 | proof-syntax.el: Fix an out-of-range bug in function `proof-format' | Erik Martin-Dorel |
| 2018-12-26 | Make coq-mode work without generic/proof-* | Stefan Monnier |
| 2018-12-25 | Reduce the impact of proof-site, in case PG is not used | Stefan Monnier |
| 2018-12-22 | * coq-mode.el: New file to make coq-mode independent from PG | Stefan Monnier |
| 2018-12-14 | Fix remaining uses of CL; Make files more declarative | Stefan Monnier |
| 2018-12-13 | Use `cl-lib` instead of `cl` everywhere | Stefan Monnier |
| 2018-08-23 | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel |
| 2018-03-07 | Add a missing parameter in advice on font-lock-fontify-keywords-region | Clément Pit--Claudel |
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel |
| 2010-09-22 | Fix some bugs in coq regexp generation | David Aspinall |
| 2010-08-25 | Bring syntactic context functions together | David Aspinall |
| 2010-08-18 | Style fixes | David Aspinall |
| 2010-08-11 | only run custom font-lock-fontify-syntactically-region on PG buffers | David Aspinall |
| 2010-08-11 | Support custom syntactic fontification. Split out pa macros. | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2009-12-01 | proof-splice-separator -> mapconcat builtin | David Aspinall |
| 2009-12-01 | proof-ids-to-regexp: use regexp-opt, this seems reliable now. | David Aspinall |
| 2009-12-01 | fix proof-splice-separator | David Aspinall |
| 2009-10-03 | proof-regexp-alt: use shy matching | David Aspinall |
| 2009-09-09 | Add proof-re-search-forward-safe | David Aspinall |
| 2009-09-06 | Doc fixes, and many defun -> defsubst to enhance compiled code. | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-09-04 | proof-looking-at-syntactic-context: moved to proof-utils because of macro use | David Aspinall |
| 2009-09-04 | comment | David Aspinall |
| 2009-08-19 | proof-splice-separator: ignore nil entries for convenience | David Aspinall |
| 2009-08-18 | Note | David Aspinall |
| 2009-08-17 | Update doc | David Aspinall |
| 2009-08-17 | proof-looking-at-syntactic-context: allow proof assistant | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-21 | proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs, | David Aspinall |
| 2008-07-21 | Changed the main menu of coq. Changed a shortcut for holes. | Pierre Courtieu |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
| 2007-05-10 | Add proof-replace-regexp-nocasefold | David Aspinall |
| 2006-08-23 | Coq indentation small fixes. | Pierre Courtieu |
| 2005-09-01 | added proof-search-forward, proof-replace-regexp-in-string; | Makarius Wenzel |
| 2005-02-13 | Add suggestion by Stefan Monnier (comment only) | David Aspinall |
| 2002-08-31 | Documentation. | David Aspinall |
| 2002-08-31 | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall |
| 2002-08-13 | proof-string-match-safe is even more safe | David Aspinall |
| 2002-07-19 | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall |
| 2002-07-18 | Investigation of proof-zap-commas failure in GNU Emacs; comments, no results. | David Aspinall |
| 2002-07-18 | Fix bug in proof-zap-commas-region (which is anyway faulty) | David Aspinall |
| 2002-07-16 | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall |
| 2002-06-21 | GPL | David Aspinall |
| 2002-01-31 | Tweak comment | David Aspinall |
| 2001-08-10 | Found another instance of buffer-syntactic-context | David Aspinall |
| 2001-05-08 | Copyright date updated | David Aspinall |
| 2000-12-14 | Generalise proof-format-filename | David Aspinall |
