Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove proof-shell-prompt-pattern, no longer used. | 2009-09-04 | |
| | |||
* | Update versions | 2009-08-31 | |
| | |||
* | Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref) | 2009-08-28 | |
| | |||
* | Add recommendation for DejaVu fonts. Update magic. | 2009-08-25 | |
| | |||
* | proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵ | 2009-08-17 | |
| | | | | shell filter functions. | ||
* | Document document centric mechanism. Other updates and additions. Remove ↵ | 2009-08-07 | |
| | | | | experimental features. | ||
* | Updates for Isabelle2009, new electric terminator behaviour. | 2009-05-26 | |
| | |||
* | Tweak | 2008-12-05 | |
| | |||
* | Some minimal updates for 4.0pre | 2008-12-05 | |
| | |||
* | Fix extra @end defvar | 2008-12-05 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Update docstrings | 2008-07-12 | |
| | |||
* | Update magic | 2008-01-30 | |
| | |||
* | Fix included file | 2008-01-17 | |
| | |||
* | Update dates | 2008-01-17 | |
| | |||
* | Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- ↵ | 2008-01-14 | |
| | | | | settings. | ||
* | Update docstring magic | 2007-12-14 | |
| | |||
* | Rename: proof-show-debug-messages -> proof-general-debug. | 2007-12-14 | |
| | |||
* | pg-topterm-char -> pg-topterm-regexp | 2007-08-19 | |
| | |||
* | Add support for sending back literal commands reusing PBP markup mechanisms. | 2007-08-14 | |
| | |||
* | Fix broken texi magic strings. | 2007-06-19 | |
| | |||
* | Account for new default behaviour of texi2html, using subdir for manuals | 2007-06-19 | |
| | |||
* | Fix menu path to Customize | 2005-05-17 | |
| | |||
* | Update for 3.6 | 2004-08-25 | |
| | |||
* | Update magic, dates | 2004-06-04 | |
| | |||
* | Update versions and dates. Extra section in adapting for syntax table, etc. | 2004-05-09 | |
| | |||
* | Whitespace. | 2004-05-06 | |
| | |||
* | Run magic, clean up duplicated entries and whitespace. | 2004-05-06 | |
| | | | | Fix to architecture vars. | ||
* | Spacing | 2004-04-24 | |
| | |||
* | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | 2004-04-24 | |
| | | | | | to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l). | ||
* | Updated magic | 2004-04-17 | |
| | |||
* | Update dates, update magic, doc proof-cannot-reopen-processed-files. | 2004-04-17 | |
| | |||
* | Explain how to configure Imenu. | 2004-04-16 | |
| | |||
* | Update version to 3.5 | 2004-04-03 | |
| | |||
* | Update magic | 2004-04-02 | |
| | |||
* | Update date | 2004-03-23 | |
| | |||
* | Intro to 3.5 version, Emacs version update | 2004-03-23 | |
| | |||
* | Update last updated stamp | 2004-03-23 | |
| | |||
* | Update some urls | 2004-02-08 | |
| | |||
* | Update magic | 2004-02-08 | |
| | |||
* | Fix domain name | 2003-12-11 | |
| | |||
* | Update magic | 2003-06-05 | |
| | |||
* | Updated magic | 2003-03-17 | |
| | |||
* | Update version number, reorg. | 2002-09-11 | |
| | |||
* | Doc new proof-zap-commas | 2002-08-31 | |
| | |||
* | Remove proof-splash-extensions | 2002-08-29 | |
| | |||
* | Update magic | 2002-08-29 | |
| | |||
* | Update dir entries, remove localdir file | 2002-08-28 | |
| | |||
* | Update magic | 2002-08-12 | |
| | |||
* | Fix markup | 2002-08-08 | |
| |