index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
pg-pbrpm.el
Age
Commit message (
Expand
)
Author
2008-01-30
Fix RCS tags
David Aspinall
2008-01-17
Split define keys to match keymap files
David Aspinall
2008-01-16
Cleanup compilation and documentation. Possible fix/break in pg-pbrpm-get-re...
David Aspinall
2008-01-15
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2007-12-14
Add compilation dependency
David Aspinall
2007-12-10
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
2006-02-24
back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...
Christophe Raffalli
2005-10-20
bug fix
Christophe Raffalli
2005-09-19
I do not remember \!
Christophe Raffalli
2005-07-05
*** empty log message ***
Christophe Raffalli
2005-02-09
*** empty log message ***
Christophe Raffalli
2004-12-08
changes to pbrpm
Christophe Raffalli
2004-11-22
work on proof by contextual menu for phox
Christophe Raffalli
2004-10-20
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Christophe Raffalli