aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-custom.el
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* # User Robin Green <greenrd@greenrd.org>Gravatar David Aspinall2011-09-14
* TypoGravatar David Aspinall2011-01-23
* Make proof-shell-quit-timeout a prover-specific customize option, default to ...Gravatar David Aspinall2011-01-23
* unicode-tokens-enable: turn on by default in IsabelleGravatar David Aspinall2010-10-11
* proof-script-command-separator: remove; proof-one-command-per-line becomes pr...Gravatar David Aspinall2010-10-01
* proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar.Gravatar David Aspinall2010-09-22
* Fix typoGravatar David Aspinall2010-09-20
* ReorganiseGravatar David Aspinall2010-08-27
* Add retract buffer to menuGravatar David Aspinall2010-08-27
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Clean whitespaceGravatar David Aspinall2009-09-05
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* Add info command to toolbar, and re-enable command, interrupt, restart.Gravatar David Aspinall2009-08-14
* Re-enable toolbar commands on main menu; add home iconGravatar David Aspinall2009-08-07
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Clarify unimplemented settingsGravatar David Aspinall2008-07-05
* Add use-holes setting.Gravatar David Aspinall2008-07-05
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* Comments.Gravatar David Aspinall2008-01-31
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Move proof-experimental-features back and make it constant.Gravatar David Aspinall2008-01-29
* Move proof-experimental-featuresGravatar David Aspinall2008-01-29
* Add unicode-tokens-enableGravatar David Aspinall2008-01-25
* New files.Gravatar David Aspinall2008-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 15:34:40 +0000