aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Add a missing parameter in advice on font-lock-fontify-keywords-regionGravatar Clément Pit--Claudel2018-03-07
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix some bugs in coq regexp generationGravatar David Aspinall2010-09-22
* Bring syntactic context functions togetherGravatar David Aspinall2010-08-25
* Style fixesGravatar David Aspinall2010-08-18
* only run custom font-lock-fontify-syntactically-region on PG buffersGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
* proof-ids-to-regexp: use regexp-opt, this seems reliable now.Gravatar David Aspinall2009-12-01
* fix proof-splice-separatorGravatar David Aspinall2009-12-01
* proof-regexp-alt: use shy matchingGravatar David Aspinall2009-10-03
* Add proof-re-search-forward-safeGravatar David Aspinall2009-09-09
* Doc fixes, and many defun -> defsubst to enhance compiled code.Gravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* proof-looking-at-syntactic-context: moved to proof-utils because of macro useGravatar David Aspinall2009-09-04
* commentGravatar David Aspinall2009-09-04
* proof-splice-separator: ignore nil entries for convenienceGravatar David Aspinall2009-08-19
* NoteGravatar David Aspinall2009-08-18
* Update docGravatar David Aspinall2009-08-17
* proof-looking-at-syntactic-context: allow proof assistantGravatar David Aspinall2009-08-17
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,Gravatar David Aspinall2008-07-21
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* added proof-search-forward, proof-replace-regexp-in-string;Gravatar Makarius Wenzel2005-09-01
* Add suggestion by Stefan Monnier (comment only)Gravatar David Aspinall2005-02-13
* Documentation.Gravatar David Aspinall2002-08-31
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* proof-string-match-safe is even more safeGravatar David Aspinall2002-08-13
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.Gravatar David Aspinall2002-07-18
* Fix bug in proof-zap-commas-region (which is anyway faulty)Gravatar David Aspinall2002-07-18
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* GPLGravatar David Aspinall2002-06-21
* Tweak commentGravatar David Aspinall2002-01-31
* Found another instance of buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Copyright date updatedGravatar David Aspinall2001-05-08
* Generalise proof-format-filenameGravatar David Aspinall2000-12-14
* added proof-looking-at-safe, proof-looking-at-syntactic-context;Gravatar Makarius Wenzel2000-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 16:26:01 +0000