Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | 2018-08-23 | |
| | |||
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | 2017-05-24 | |
| | |||
* | Update the documentation and prepare the release 4.4. | 2016-09-18 | |
| | |||
* | merge ProofTreeBranch into main trunk: | 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> | 2011-09-14 | |
| | | | | Use correct customisation widget for variable-length list of strings | ||
* | Typo | 2011-01-23 | |
| | |||
* | Make proof-shell-quit-timeout a prover-specific customize option, default to ↵ | 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 | 2010-10-11 | |
| | |||
* | proof-script-command-separator: remove; proof-one-command-per-line becomes ↵ | 2010-10-01 | |
| | | | | prover specific. | ||
* | proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar. | 2010-09-22 | |
| | | | | | It has no icon in images directory, which causes odd effects with toolbar mapping (Fixes Trac #352). | ||
* | Fix typo | 2010-09-20 | |
| | |||
* | Reorganise | 2010-08-27 | |
| | |||
* | Add retract buffer to menu | 2010-08-27 | |
| | |||
* | Checkdoc cleanups | 2010-08-08 | |
| | |||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | Clean up and rearrange variable declaration files | 2009-08-28 | |
| | |||
* | Add info command to toolbar, and re-enable command, interrupt, restart. | 2009-08-14 | |
| | |||
* | Re-enable toolbar commands on main menu; add home icon | 2009-08-07 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Clarify unimplemented settings | 2008-07-05 | |
| | |||
* | Add use-holes setting. | 2008-07-05 | |
| | |||
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | 2008-07-05 | |
| | |||
* | Comments. | 2008-01-31 | |
| | |||
* | Fix RCS tags | 2008-01-30 | |
| | |||
* | Move proof-experimental-features back and make it constant. | 2008-01-29 | |
| | |||
* | Move proof-experimental-features | 2008-01-29 | |
| | |||
* | Add unicode-tokens-enable | 2008-01-25 | |
| | |||
* | New files. | 2008-01-15 | |