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 (
Collapse
)
Author
Age
*
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
|
|
|
|
imporvment in proof by contextual menu
*
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