aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pbrpm.el
AgeCommit message (Expand)Author
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-12-15Prepend cl- to more c[ad]+r instancesClément Pit-Claudel
2018-12-15Use cl-caddr instead of caddrClément Pit-Claudel
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2010-10-01Adjust handling of insertion of newlines before next command.David Aspinall
2010-08-24pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 comp...David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-07-08Cleanups for save-excursion to avoid warnings in latest Emacs versionsDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-11-29pg-pbrpm-run-command: use proof-insert-pbp-commandDavid Aspinall
2009-09-15Prevent compile warningsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-01Comment about GNU Emacs portDavid Aspinall
2009-09-01Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...Christophe Raffalli
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-17Split define keys to match keymap filesDavid Aspinall
2008-01-16Cleanup compilation and documentation. Possible fix/break in pg-pbrpm-get-re...David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Add compilation dependencyDavid Aspinall
2007-12-10GNU Emacs compat: buffer-substringDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-10GNU Emacs: delete-backward-char needs an argumentDavid Aspinall
2007-12-10GNU Emacs: insert-string -> insertDavid Aspinall
2007-12-10Fix use of erase-buffer for GNU EmacsDavid Aspinall
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Christophe Raffalli
2005-10-20bug fixChristophe Raffalli
2005-09-19I do not remember \!Christophe Raffalli
2005-07-05*** empty log message ***Christophe Raffalli
2005-02-09*** empty log message ***Christophe Raffalli
2004-12-08changes to pbrpmChristophe Raffalli
2004-11-22work on proof by contextual menu for phoxChristophe Raffalli
2004-10-20added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Christophe Raffalli
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:36:03 +0000