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