aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-custom.el
AgeCommit message (Expand)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
2011-09-14# User Robin Green <greenrd@greenrd.org>David Aspinall
2011-01-23TypoDavid Aspinall
2011-01-23Make proof-shell-quit-timeout a prover-specific customize option, default to ...David Aspinall
2010-10-11unicode-tokens-enable: turn on by default in IsabelleDavid Aspinall
2010-10-01proof-script-command-separator: remove; proof-one-command-per-line becomes pr...David Aspinall
2010-09-22proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar.David Aspinall
2010-09-20Fix typoDavid Aspinall
2010-08-27ReorganiseDavid Aspinall
2010-08-27Add retract buffer to menuDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-14Add info command to toolbar, and re-enable command, interrupt, restart.David Aspinall
2009-08-07Re-enable toolbar commands on main menu; add home iconDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-05Clarify unimplemented settingsDavid Aspinall
2008-07-05Add use-holes setting.David Aspinall
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-01-31Comments.David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-29Move proof-experimental-features back and make it constant.David Aspinall
2008-01-29Move proof-experimental-featuresDavid Aspinall
2008-01-25Add unicode-tokens-enableDavid Aspinall
2008-01-15New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:58:52 +0000