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
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
# User Robin Green <greenrd@greenrd.org>
David Aspinall
2011-09-14
*
Typo
David Aspinall
2011-01-23
*
Make proof-shell-quit-timeout a prover-specific customize option, default to ...
David Aspinall
2011-01-23
*
unicode-tokens-enable: turn on by default in Isabelle
David Aspinall
2010-10-11
*
proof-script-command-separator: remove; proof-one-command-per-line becomes pr...
David Aspinall
2010-10-01
*
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