Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | 2009-05-26 | |
| | |||
* | isar-strip-output-markup: simple output markup stripping | 2009-05-26 | |
| | | | | Experiment with font-lock to set yank-handler. | ||
* | Set strip-output-function for pasting. Adjust font-lock handling to | 2009-05-26 | |
| | | | | cope with very long multiline matches. | ||
* | Test case for #266 | 2009-05-26 | |
| | |||
* | unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: ↵ | 2009-05-26 | |
| | | | | font prop must be given first | ||
* | Updated | 2009-05-26 | |
| | |||
* | Add proof-electric-terminator-noterminator behaviour for Isar | 2009-05-26 | |
| | |||
* | Updates for Isabelle2009, new electric terminator behaviour. | 2009-05-26 | |
| | |||
* | Revise example for Isabelle 2009, showing use of two commands on a line. | 2009-05-26 | |
| | |||
* | Hide goals marker start again (Isabelle2009 doesn't markup subgoals) | 2009-05-26 | |
| | |||
* | Revive sendback behaviour (using button1) | 2009-05-26 | |
| | |||
* | Rename isatool -> isabelle | 2009-05-26 | |
| | |||
* | Add highlighting for sendback | 2009-05-26 | |
| | |||
* | Set default value for `buffer-invisibility-spec' | 2009-05-25 | |
| | |||
* | Updated. | 2009-04-16 | |
| | |||
* | Set version tag for new release. | 2009-04-16 | |
| | |||
* | fixed a bug with region-exists-p not defined in some emacsen. | 2009-04-16 | |
| | |||
* | isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ↵ | 2009-03-31 | |
| | | | | added special "L", special "V"; | ||
* | eliminated obsolete non-ASCII specials; | 2009-03-31 | |
| | |||
* | recovered proof-shell-process-urgent-message, by re-introducing ↵ | 2009-03-31 | |
| | | | | commented-out parenthesis and refreshing formerly unreachable cases; | ||
* | fixed spelling; | 2009-03-31 | |
| | |||
* | fixed a bad interaction with Coq -R option | 2009-03-17 | |
| | |||
* | Fix to use in place of make, see ↵ | 2009-03-10 | |
| | | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/262 | ||
* | Made indentation optional when replaing # by holes. | 2009-01-14 | |
| | |||
* | Deleted file | 2008-12-05 | |
| | |||
* | Deleted file | 2008-12-05 | |
| | |||
* | merge develdownload.html with devel.html | 2008-12-05 | |
| | |||
* | Updated. | 2008-12-05 | |
| | |||
* | Tweak | 2008-12-05 | |
| | |||
* | Set version tag for new release. | 2008-12-05 | |
| | |||
* | Linear undo command | 2008-12-05 | |
| | |||
* | Some minimal updates for 4.0pre | 2008-12-05 | |
| | |||
* | Fix extra @end defvar | 2008-12-05 | |
| | |||
* | Hyphen instead of emdash in faked longleftarrow | 2008-12-05 | |
| | |||
* | Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan | 2008-10-22 | |
| | | | | Monnier. | ||
* | Fixing region access for emacs <= 22. | 2008-10-02 | |
| | |||
* | Set version tag for new release. | 2008-09-19 | |
| | |||
* | Updated. | 2008-09-19 | |
| | |||
* | unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt. | 2008-09-18 | |
| | |||
* | Fix by Stephan Hohe | 2008-09-18 | |
| | | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/236 | ||
* | Documentation | 2008-08-06 | |
| | |||
* | Comment | 2008-08-06 | |
| | |||
* | unicode-tokens-initialise: initialise menu here too rather than at top level | 2008-08-05 | |
| | |||
* | Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars ↵ | 2008-08-04 | |
| | | | | option. | ||
* | Fix tokens | 2008-08-03 | |
| | |||
* | Fix type in calls to toggle functions | 2008-08-03 | |
| | |||
* | Disable subterm markup removal | 2008-08-03 | |
| | |||
* | pg-response-display: disable subterm markup removal | 2008-08-03 | |
| | |||
* | Add links to splash menu | 2008-08-03 | |
| | |||
* | Make proof-locked-face much lighter | 2008-08-03 | |
| |