| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Addition from Tjark Weber for new commands |  David Aspinall | 2005-09-22 |
| * | Include proofgeneral.1 target. Fix make->(MAKE) | David Aspinall | 2005-08-10 |
| * | Updated. | David Aspinall | 2005-08-10 |
| * | Document proof-shell-start, proof-shell-exit keys | David Aspinall | 2005-05-31 |
| * | Fix menu path to Customize | David Aspinall | 2005-05-17 |
| * | Updated. | David Aspinall | 2005-03-25 |
| * | Updated the doc for new pg/coq. Made modifications advised by Stefan |  Pierre Courtieu | 2005-02-17 |
| * | Update for 3.6 | David Aspinall | 2004-08-25 |
| * | Update magic, dates | David Aspinall | 2004-06-04 |
| * | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall | 2004-05-09 |
| * | Whitespace. | David Aspinall | 2004-05-06 |
| * | Add EMACSFLAGS so can run with EMACS=emacs | David Aspinall | 2004-05-06 |
| * | Fixup whitespace. | David Aspinall | 2004-05-06 |
| * | Run magic, clean up duplicated entries and whitespace. | David Aspinall | 2004-05-06 |
| * | Update magic | David Aspinall | 2004-04-27 |
| * | Update magic. | David Aspinall | 2004-04-24 |
| * | Spacing | David Aspinall | 2004-04-24 |
| * | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
| * | Updated magic | David Aspinall | 2004-04-17 |
| * | Escape { and } | David Aspinall | 2004-04-17 |
| * | Add missing menu entry. | David Aspinall | 2004-04-17 |
| * | Update magic | David Aspinall | 2004-04-17 |
| * | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall | 2004-04-17 |
| * | Numerous updates and improvements: | David Aspinall | 2004-04-17 |
| * | Document Imenu/Speedbar. Update contributors. | David Aspinall | 2004-04-16 |
| * | Explain how to configure Imenu. | David Aspinall | 2004-04-16 |
| * | added little doc for holes. | Pierre Courtieu | 2004-04-15 |
| * | Update version to 3.5 | David Aspinall | 2004-04-03 |
| * | Update magic | David Aspinall | 2004-04-02 |
| * | Update documentation of different display modes | David Aspinall | 2004-04-02 |
| * | Fix more proofgeneral.org | David Aspinall | 2004-03-23 |
| * | Update date | David Aspinall | 2004-03-23 |
| * | Intro to 3.5 version, Emacs version update | David Aspinall | 2004-03-23 |
| * | Update last updated stamp | David Aspinall | 2004-03-23 |
| * | Doc unrecognized option behaviour | David Aspinall | 2004-03-01 |
| * | Better title | David Aspinall | 2004-03-01 |
| * | Add man page, remove ps file from distrib. | David Aspinall | 2004-02-29 |
| * | New files. | David Aspinall | 2004-02-29 |
| * | Renamed file | David Aspinall | 2004-02-29 |
| * | Add -no-site-file to batch xemacs. | David Aspinall | 2004-02-29 |
| * | Fix link | David Aspinall | 2004-02-08 |
| * | Update some urls | David Aspinall | 2004-02-08 |
| * | Update magic | David Aspinall | 2004-02-08 |
| * | Updated. | David Aspinall | 2004-02-08 |
| * | Fix link to portrait | David Aspinall | 2004-02-08 |
| * | Fix domain name | David Aspinall | 2003-12-11 |
| * | Update magic | David Aspinall | 2003-06-05 |
| * | Typo; update magic | David Aspinall | 2003-06-05 |
| * | Updated magic | David Aspinall | 2003-03-17 |
| * | Note about M-x x-symbol-mode | David Aspinall | 2003-03-03 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |