Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix theory name | David Aspinall | 2010-08-03 |
| | |||
* | Deleted file | David Aspinall | 2010-08-03 |
| | |||
* | Fix for matching names in regexps, restores behaviour of name-aware code ↵ | David Aspinall | 2010-08-02 |
| | | | | such as imenu. | ||
* | Add pg-protected-undo improved version due to Erik Martin-Dorel | David Aspinall | 2010-08-02 |
| | |||
* | Update years, versions. | David Aspinall | 2010-07-08 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-07-08 |
| | |||
* | Cleanups for save-excursion to avoid warnings in latest Emacs versions | David Aspinall | 2010-07-08 |
| | |||
* | save-excursion -> with-temp-buffer | David Aspinall | 2010-07-08 |
| | |||
* | Replace uses of save-excursion with with-current-buffer. This | David Aspinall | 2010-07-01 |
| | | | | | prevents a spurious warning from Emacs 23 (and is a minor efficiency improvement). | ||
* | plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 |
| | | | | spurious warning in Emacs 23.2 | ||
* | lego-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 |
| | | | | spurious warning in Emacs 23.2 | ||
* | isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 |
| | | | | spurious warning in Emacs 23.2 | ||
* | proof-last-locked-span: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 |
| | | | | spurious warning in Emacs 23.2 | ||
* | removed some old commands; | Makarius Wenzel | 2010-06-29 |
| | |||
* | update from Isabelle2009-2; | Makarius Wenzel | 2010-06-29 |
| | |||
* | Remove debug message | David Aspinall | 2010-06-28 |
| | |||
* | Isabelle syntax update | David Aspinall | 2010-06-28 |
| | |||
* | Isabelle syntax update | David Aspinall | 2010-06-28 |
| | |||
* | Updated. | David Aspinall | 2010-06-27 |
| | |||
* | Experimental backwards delete char. See Trac #290 | David Aspinall | 2010-06-27 |
| | |||
* | `proof-shell-process-urgent-messages': fix to avoid duplicated messages ↵ | David Aspinall | 2010-06-27 |
| | | | | | | | (Trac#314) `proof-shell-exit': fix pareno, avoid duplicated user question in Emacs 23. Consistent capitalisation of errors. | ||
* | Fixing the behaviour of the responses-freeze window. | Pierre Courtieu | 2010-05-17 |
| | |||
* | Allow SearchAbout to deal with complex queries. | Pierre Courtieu | 2010-05-17 |
| | |||
* | Added a "remember this" window. Experimental. | Pierre Courtieu | 2010-05-17 |
| | |||
* | Fix coq error utf8 underlining with coq-8.3beta. | Pierre Courtieu | 2010-04-12 |
| | |||
* | Test update | David Aspinall | 2010-04-12 |
| | |||
* | *** empty log message *** | David Aspinall | 2010-03-10 |
| | |||
* | *** empty log message *** | David Aspinall | 2010-03-10 |
| | |||
* | *** empty log message *** | David Aspinall | 2010-03-10 |
| | |||
* | Update date | David Aspinall | 2010-03-10 |
| | |||
* | more robust treatment of spaces in directory names; | Makarius Wenzel | 2009-12-07 |
| | |||
* | New files | David Aspinall | 2009-12-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2009-12-04 |
| | |||
* | docstring | David Aspinall | 2009-12-04 |
| | |||
* | Updated | David Aspinall | 2009-12-04 |
| | |||
* | Revert spurious commits | David Aspinall | 2009-12-03 |
| | |||
* | Change of type for proof-script-span-context-menu-extensions | David Aspinall | 2009-12-03 |
| | |||
* | Rework script span element hiding to avoid buffer-invisibility-spec. Add ↵ | David Aspinall | 2009-12-03 |
| | | | | command elements. | ||
* | Fix to last patch for face saving (untested still). | David Aspinall | 2009-12-02 |
| | |||
* | Fix compile error (isar-prog-args unknown). | David Aspinall | 2009-12-02 |
| | |||
* | Better approximation of restoring old highlighting, by caching saved face. | David Aspinall | 2009-12-02 |
| | |||
* | Fix menu path to Sticky Errors option. | David Aspinall | 2009-12-02 |
| | |||
* | Add proof-sticky-errors to quick options menu. | David Aspinall | 2009-12-02 |
| | |||
* | tidy | David Aspinall | 2009-12-01 |
| | |||
* | Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311 | David Aspinall | 2009-12-01 |
| | |||
* | Add rest of standard token symbols for alphabets in other fonts | David Aspinall | 2009-12-01 |
| | | | | (e.g. fraktur lower case \<aa>, whatever these are supposed to look like). | ||
* | Update token list adding fraktur characters. | David Aspinall | 2009-12-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 2009-12-01 |
| | |||
* | Update magic | David Aspinall | 2009-12-01 |
| | |||
* | Profile 'pg' needed now too | David Aspinall | 2009-12-01 |
| |