aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pbrpm.el
AgeCommit message (Collapse)Author
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 ↵David Aspinall
compile warning
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 ↵David Aspinall
pre-processing of commands when they're queued from script
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 ↵Christophe Raffalli
proof-mode-for-script seems undefined
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 ↵David Aspinall
pg-pbrpm-get-region-info (only looked at START).
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
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
imporvment in proof by contextual menu
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-03-01 17:01:50 +0000