| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-23 | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | |
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | |
| 2017-05-24 | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | |
| 2016-09-18 | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | |
| 2012-01-03 | merge ProofTreeBranch into main trunk: | Hendrik Tews | |
| - add support for proof-tree displays (currently Coq only) - new file generic/proof-tree.el contains generic code - Coq specific code has been added to coq/coq.el Changes to existing Proof General functions: - proof-shell-exec-loop and proof-shell-filter-manage-output call proof-tree display functions, when the proof-tree display is on - proof-shell-exec-loop returns t if proof-action-list is empty _or_ contains only items for updating the proof-tree - proof-shell-should-be-silent returns nil when the proof-tree display is on - coq-last-prompt-info, coq-last-prompt-info-safe return as additional 4th element the name of the current proof | |||
| 2011-09-14 | # User Robin Green <greenrd@greenrd.org> | David Aspinall | |
| Use correct customisation widget for variable-length list of strings | |||
| 2011-01-23 | Typo | David Aspinall | |
| 2011-01-23 | Make proof-shell-quit-timeout a prover-specific customize option, default to ↵ | David Aspinall | |
| 45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384. | |||
| 2010-10-11 | unicode-tokens-enable: turn on by default in Isabelle | David Aspinall | |
| 2010-10-01 | proof-script-command-separator: remove; proof-one-command-per-line becomes ↵ | David Aspinall | |
| prover specific. | |||
| 2010-09-22 | proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar. | David Aspinall | |
| It has no icon in images directory, which causes odd effects with toolbar mapping (Fixes Trac #352). | |||
| 2010-09-20 | Fix typo | David Aspinall | |
| 2010-08-27 | Reorganise | David Aspinall | |
| 2010-08-27 | Add retract buffer to menu | David Aspinall | |
| 2010-08-08 | Checkdoc cleanups | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2009-08-28 | Clean up and rearrange variable declaration files | David Aspinall | |
| 2009-08-14 | Add info command to toolbar, and re-enable command, interrupt, restart. | David Aspinall | |
| 2009-08-07 | Re-enable toolbar commands on main menu; add home icon | David Aspinall | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-07-05 | 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-01-31 | Comments. | David Aspinall | |
| 2008-01-30 | Fix RCS tags | David Aspinall | |
| 2008-01-29 | Move proof-experimental-features back and make it constant. | David Aspinall | |
| 2008-01-29 | Move proof-experimental-features | David Aspinall | |
| 2008-01-25 | Add unicode-tokens-enable | David Aspinall | |
| 2008-01-15 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |