aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-pbrpm.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Prepend cl- to more c[ad]+r instancesGravatar Clément Pit-Claudel2018-12-15
* Use cl-caddr instead of caddrGravatar Clément Pit-Claudel2018-12-15
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Adjust handling of insertion of newlines before next command.Gravatar David Aspinall2010-10-01
* pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 comp...Gravatar David Aspinall2010-08-24
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* pg-pbrpm-run-command: use proof-insert-pbp-commandGravatar David Aspinall2009-11-29
* Prevent compile warningsGravatar David Aspinall2009-09-15
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Comment about GNU Emacs portGravatar David Aspinall2009-09-01
* Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...Gravatar Christophe Raffalli2009-09-01
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Split define keys to match keymap filesGravatar David Aspinall2008-01-17
* Cleanup compilation and documentation. Possible fix/break in pg-pbrpm-get-re...Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Add compilation dependencyGravatar David Aspinall2007-12-14
* GNU Emacs compat: buffer-substringGravatar David Aspinall2007-12-10
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* GNU Emacs: delete-backward-char needs an argumentGravatar David Aspinall2007-12-10
* GNU Emacs: insert-string -> insertGravatar David Aspinall2007-12-10
* Fix use of erase-buffer for GNU EmacsGravatar David Aspinall2007-12-10
* back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Gravatar Christophe Raffalli2006-02-24
* bug fixGravatar Christophe Raffalli2005-10-20
* I do not remember \!Gravatar Christophe Raffalli2005-09-19
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* *** empty log message ***Gravatar Christophe Raffalli2005-02-09
* changes to pbrpmGravatar Christophe Raffalli2004-12-08
* work on proof by contextual menu for phoxGravatar Christophe Raffalli2004-11-22
* added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Gravatar Christophe Raffalli2004-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 22:52:42 +0000