| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-04-16 | Document Imenu/Speedbar. Update contributors. | David Aspinall |
| 2004-04-16 | Explain how to configure Imenu. | David Aspinall |
| 2004-04-15 | added little doc for holes. | Pierre Courtieu |
| 2004-04-03 | Update version to 3.5 | David Aspinall |
| 2004-04-02 | Update magic | David Aspinall |
| 2004-04-02 | Update documentation of different display modes | David Aspinall |
| 2004-03-23 | 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-01 | Doc unrecognized option behaviour | David Aspinall |
| 2004-03-01 | Better title | David Aspinall |
| 2004-02-29 | 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-08 | 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 |
| 2003-12-11 | Fix domain name | David Aspinall |
| 2003-06-05 | Update magic | David Aspinall |
| 2003-06-05 | Typo; update magic | David Aspinall |
| 2003-03-17 | Updated magic | David Aspinall |
| 2003-03-03 | Note about M-x x-symbol-mode | David Aspinall |
| 2003-03-01 | Update doc of X-Sym | David Aspinall |
| 2003-02-05 | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu |
| 2002-09-11 | Update version number, reorg. | David Aspinall |
| 2002-08-31 | Doc new proof-zap-commas | David Aspinall |
| 2002-08-31 | Add -q to emacs | David Aspinall |
| 2002-08-29 | Add Stefan Monnier | David Aspinall |
| 2002-08-29 | Remove proof-splash-extensions | David Aspinall |
| 2002-08-29 | Updated. | David Aspinall |
| 2002-08-29 | Update magic | David Aspinall |
| 2002-08-29 | Update magic | David Aspinall |
| 2002-08-28 | Update dir entries, remove localdir file | David Aspinall |
| 2002-08-27 | Updated magic | David Aspinall |
| 2002-08-27 | Tweak | David Aspinall |
| 2002-08-27 | Add PG adapting. | David Aspinall |
| 2002-08-12 | Tweak Pierres docs | David Aspinall |
| 2002-08-12 | Tweak Pierres docs | David Aspinall |
| 2002-08-12 | Update magic | David Aspinall |
| 2002-08-12 | Document experimental features; update other descriptions. | David Aspinall |
| 2002-08-09 | Doc comments also under vis control | David Aspinall |
| 2002-08-08 | Authorship, comments. | David Aspinall |
| 2002-08-08 | Fix markup | David Aspinall |
| 2002-08-08 | Fix email addresses; tweaks. | David Aspinall |
| 2002-08-08 | Trivial. | David Aspinall |
| 2002-08-07 | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |