Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Fix email addresses; tweaks. | 2002-08-08 | |
| | |||
* | Doc proof-shell-strip-crs-from-output; update magic | 2002-08-07 | |
| | |||
* | Variable name change proof-comment-{start,end}-regexp -> ↵ | 2002-07-19 | |
| | | | | proof-script-comment-{start,end}-regexp. | ||
* | Update magic | 2002-07-18 | |
| | |||
* | Refactor several variable names; clean up, doc subterm markup and output ↵ | 2002-07-16 | |
| | | | | display. | ||
* | Updates for 3.4 | 2002-07-01 | |
| | |||
* | GPL, 3.4 dates | 2002-06-21 | |
| | |||
* | Add doc of proof-shell-last-prompt. | 2002-06-19 | |
| | |||
* | Update magic. Document nested proof settings. | 2002-06-18 | |
| | |||
* | Fix URL for X-symbol | 2002-04-23 | |
| | |||
* | Document some new settings | 2002-03-21 | |
| | |||
* | FSF Emacs -> GNU Emacs | 2002-01-16 | |
| | |||
* | update from make process; | 2001-12-04 | |
| | |||
* | Update magic | 2001-09-24 | |
| | |||
* | Link uref nicely | 2001-09-13 | |
| | |||
* | Updates from an old printout of the manual | 2001-09-13 | |
| | |||
* | Update docs. | 2001-09-09 | |
| | |||
* | Update version numbers, time stamps. | 2001-09-03 | |
| | |||
* | Fix web page for kit | 2001-08-28 | |
| | |||
* | Update last updated, copyright | 2001-08-01 | |
| | |||
* | Change info dir entry to appear next to Proof General entry. | 2001-05-08 | |
| | |||
* | Try to disable image for now | 2001-05-01 | |
| | |||
* | Updated magic | 2001-03-20 | |
| | |||
* | Fix magic | 2000-12-20 | |
| |