Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
* | 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 |
* | Doc new proof-zap-commas | David Aspinall | 2002-08-31 |
* | Add -q to emacs | David Aspinall | 2002-08-31 |
* | 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-29 |
* | Update dir entries, remove localdir file | David Aspinall | 2002-08-28 |
* | Updated magic | David Aspinall | 2002-08-27 |
* | Tweak | David Aspinall | 2002-08-27 |
* | Add PG adapting. | David Aspinall | 2002-08-27 |
* | 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-12 |
* | Doc comments also under vis control | David Aspinall | 2002-08-09 |
* | 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-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 |