Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | 2018-08-23 |
| | |||
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | 2017-05-24 |
| | |||
* | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| | |||
* | merge ProofTreeBranch into main trunk: | Hendrik Tews | 2012-01-03 |
| | | | | | | | | | | | | | | | | - 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 | ||
* | # User Robin Green <greenrd@greenrd.org> | David Aspinall | 2011-09-14 |
| | | | | Use correct customisation widget for variable-length list of strings | ||
* | Typo | David Aspinall | 2011-01-23 |
| | |||
* | Make proof-shell-quit-timeout a prover-specific customize option, default to ↵ | David Aspinall | 2011-01-23 |
| | | | | 45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384. | ||
* | 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 ↵ | David Aspinall | 2010-10-01 |
| | | | | prover specific. | ||
* | proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar. | David Aspinall | 2010-09-22 |
| | | | | | It has no icon in images directory, which causes odd effects with toolbar mapping (Fixes Trac #352). | ||
* | 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 |