| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Fixup whitespace. | David Aspinall | 2004-05-06 |
| * | Update magic | David Aspinall | 2004-04-27 |
| * | Update magic. | David Aspinall | 2004-04-24 |
| * | Escape { and } | David Aspinall | 2004-04-17 |
| * | Add missing menu entry. | David Aspinall | 2004-04-17 |
| * | Update magic | David Aspinall | 2004-04-17 |
| * | Numerous updates and improvements: | David Aspinall | 2004-04-17 |
| * | Document Imenu/Speedbar. Update contributors. | 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 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 |
| * | Fix link | David Aspinall | 2004-02-08 |
| * | Update magic | David Aspinall | 2004-02-08 |
| * | Updated. | David Aspinall | 2004-02-08 |
| * | Fix domain name | David Aspinall | 2003-12-11 |
| * | 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 |
| * | Update doc of X-Sym | David Aspinall | 2003-03-01 |
| * | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu | 2003-02-05 |
| * | Update version number, reorg. | David Aspinall | 2002-09-11 |
| * | Add Stefan Monnier | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Update magic | David Aspinall | 2002-08-29 |
| * | Update dir entries, remove localdir file | David Aspinall | 2002-08-28 |
| * | Updated magic | David Aspinall | 2002-08-27 |
| * | Tweak Pierres docs | David Aspinall | 2002-08-12 |
| * | Tweak Pierres docs | David Aspinall | 2002-08-12 |
| * | Document experimental features; update other descriptions. | David Aspinall | 2002-08-12 |
| * | Doc comments also under vis control | David Aspinall | 2002-08-09 |
| * | Authorship, comments. | David Aspinall | 2002-08-08 |
| * | Fix email addresses; tweaks. | David Aspinall | 2002-08-08 |
| * | Trivial. | David Aspinall | 2002-08-08 |
| * | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall | 2002-08-07 |
| * | Rename proof-dont-switch-windows -> proof-three-window-mode | David Aspinall | 2002-08-07 |
| * | Changed a bit more the doc and the CHANGES file, to be | Pierre Courtieu | 2002-07-26 |
| * | The doc for coq-user-... variables is a bit better, their name has | Pierre Courtieu | 2002-07-26 |
| * | Mention how to enable X-Symbol. | David Aspinall | 2002-07-18 |
| * | More on keybindings: include old x-symbol-isabelle bindings but using super. | David Aspinall | 2002-07-18 |
| * | Update magic, move version history to appendix. | David Aspinall | 2002-07-18 |
| * | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
| * | Fix authorship | David Aspinall | 2002-07-14 |
| * | Remove description of known bugs. | David Aspinall | 2002-07-02 |
| * | Updates for 3.4 | David Aspinall | 2002-07-01 |
David Aspinall
Pierre Courtieu