index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-pbrpm.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Adjust handling of insertion of newlines before next command.
David Aspinall
2010-10-01
*
pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 comp...
David Aspinall
2010-08-24
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Cleanups for save-excursion to avoid warnings in latest Emacs versions
David Aspinall
2010-07-08
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
pg-pbrpm-run-command: use proof-insert-pbp-command
David Aspinall
2009-11-29
*
Prevent compile warnings
David Aspinall
2009-09-15
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Clean whitespace
David Aspinall
2009-09-05
*
Comment about GNU Emacs port
David Aspinall
2009-09-01
*
Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...
Christophe Raffalli
2009-09-01
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fix RCS tags
David Aspinall
2008-01-30
*
Split define keys to match keymap files
David Aspinall
2008-01-17
*
Cleanup compilation and documentation. Possible fix/break in pg-pbrpm-get-re...
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Add compilation dependency
David Aspinall
2007-12-14
*
GNU Emacs compat: buffer-substring
David Aspinall
2007-12-10
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
GNU Emacs: delete-backward-char needs an argument
David Aspinall
2007-12-10
*
GNU Emacs: insert-string -> insert
David Aspinall
2007-12-10
*
Fix use of erase-buffer for GNU Emacs
David Aspinall
2007-12-10
*
back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...
Christophe Raffalli
2006-02-24
*
bug fix
Christophe Raffalli
2005-10-20
*
I do not remember \!
Christophe Raffalli
2005-09-19
*
*** empty log message ***
Christophe Raffalli
2005-07-05
*
*** empty log message ***
Christophe Raffalli
2005-02-09
*
changes to pbrpm
Christophe Raffalli
2004-12-08
*
work on proof by contextual menu for phox
Christophe Raffalli
2004-11-22
*
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Christophe Raffalli
2004-10-20