Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |