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-custom.el
Commit message (
Expand
)
Author
Age
*
proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar.
David Aspinall
2010-09-22
*
Fix typo
David Aspinall
2010-09-20
*
Reorganise
David Aspinall
2010-08-27
*
Add retract buffer to menu
David Aspinall
2010-08-27
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Clean whitespace
David Aspinall
2009-09-05
*
Clean up and rearrange variable declaration files
David Aspinall
2009-08-28
*
Add info command to toolbar, and re-enable command, interrupt, restart.
David Aspinall
2009-08-14
*
Re-enable toolbar commands on main menu; add home icon
David Aspinall
2009-08-07
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Clarify unimplemented settings
David Aspinall
2008-07-05
*
Add use-holes setting.
David Aspinall
2008-07-05
*
TEMPORARY: add unicode-tokens2 mechanism to test across different machines
David Aspinall
2008-07-05
*
Comments.
David Aspinall
2008-01-31
*
Fix RCS tags
David Aspinall
2008-01-30
*
Move proof-experimental-features back and make it constant.
David Aspinall
2008-01-29
*
Move proof-experimental-features
David Aspinall
2008-01-29
*
Add unicode-tokens-enable
David Aspinall
2008-01-25
*
New files.
David Aspinall
2008-01-15