Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
* | Update doc of X-Sym | 2003-03-01 | ||
* | Added a paragraph in the documentation for the variable coq-version-is-V74. | 2003-02-05 | ||
* | Update version number, reorg. | 2002-09-11 | ||
* | Doc new proof-zap-commas | 2002-08-31 | ||
* | Add -q to emacs | 2002-08-31 | ||
* | Add Stefan Monnier | 2002-08-29 | ||
* | Remove proof-splash-extensions | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | Update magic | 2002-08-29 | ||
* | Update magic | 2002-08-29 | ||
* | Update dir entries, remove localdir file | 2002-08-28 | ||
* | Updated magic | 2002-08-27 | ||
* | Tweak | 2002-08-27 | ||
* | Add PG adapting. | 2002-08-27 | ||
* | Tweak Pierres docs | 2002-08-12 | ||
* | Tweak Pierres docs | 2002-08-12 | ||
* | Update magic | 2002-08-12 | ||
* | Document experimental features; update other descriptions. | 2002-08-12 | ||
* | Doc comments also under vis control | 2002-08-09 | ||
* | Authorship, comments. | 2002-08-08 | ||
* | Fix markup | 2002-08-08 | ||
* | Fix email addresses; tweaks. | 2002-08-08 | ||
* | Trivial. | 2002-08-08 | ||
* | Doc proof-shell-strip-crs-from-output; update magic | 2002-08-07 | ||
* | Rename proof-dont-switch-windows -> proof-three-window-mode | 2002-08-07 | ||
* | Changed a bit more the doc and the CHANGES file, to be | 2002-07-26 | ||
* | The doc for coq-user-... variables is a bit better, their name has | 2002-07-26 | ||
* | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | 2002-07-19 | ||
* | Mention how to enable X-Symbol. | 2002-07-18 | ||
* | More on keybindings: include old x-symbol-isabelle bindings but using super. | 2002-07-18 | ||
* | Update magic | 2002-07-18 |