| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2001-05-01 | Try to disable image for now | David Aspinall | |
| 2001-05-01 | Set version tag for new release. | David Aspinall | |
| 2001-05-01 | Change link to kit | David Aspinall | |
| 2001-05-01 | Change link to register page | David Aspinall | |
| 2001-05-01 | Include php file | David Aspinall | |
| 2001-05-01 | Register and kit shortcuts | David Aspinall | |
| 2001-05-01 | Link to php files instead of html | David Aspinall | |
| 2001-05-01 | Include php instead of html | David Aspinall | |
| 2001-05-01 | Rename some html files php | David Aspinall | |
| 2001-05-01 | Deleted files. | David Aspinall | |
| 2001-04-10 | Modification of proof-script-command-end-regexp to allow commands | Pierre Courtieu | |
| ended by ".eof" | |||
| 2001-03-20 | Updated. | David Aspinall | |
| 2001-03-20 | Updated. | David Aspinall | |
| 2001-03-20 | Fixes to main page | David Aspinall | |
| 2001-03-20 | Change to my canonical www.dcs web address | David Aspinall | |
| 2001-03-20 | Remove proofgeneral.org on main page | David Aspinall | |
| 2001-03-20 | Updated. | David Aspinall | |
| 2001-03-20 | Set version tag for new release. | David Aspinall | |
| 2001-03-20 | strange buffer selection bug reported by Markus | David Aspinall | |
| 2001-03-20 | Updated magic | David Aspinall | |
| 2001-03-20 | Added the config var proof-script-command-end-regexp fot coq V7. | Pierre Courtieu | |
| 2001-03-20 | Use PS fonts in PS file | David Aspinall | |
| 2001-03-20 | Remove temporary comments | David Aspinall | |
| 2001-03-20 | Fix docstring | David Aspinall | |
| 2001-03-20 | Changes to use proofgen@dcs for now instead of broken proofgeneral.org | David Aspinall | |
| 2001-03-20 | Fix to Coq web page | David Aspinall | |
| 2001-03-19 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-26 | minor change in coq.el to allow to force version of coq, with variable | Pierre Courtieu | |
| coq-version-is-V7 | |||
| 2001-02-20 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-20 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-08 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-07 | Updated. | David Aspinall | |
| 2001-02-07 | Set version tag for new release. | David Aspinall | |
| 2001-02-07 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-07 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-06 | Set version tag for new release. | David Aspinall | |
| 2001-02-02 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-01 | updated thms_containing; | Makarius Wenzel | |
| 2001-02-01 | *** empty log message *** | Christophe Raffalli | |
| 2001-02-01 | *** empty log message *** | Christophe Raffalli | |
| 2001-01-24 | renamed \<ll> to \<lless> and \<gg> to \<ggreater>; | Makarius Wenzel | |
| 2001-01-18 | proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\; | Makarius Wenzel | |
| 2001-01-18 | *** empty log message *** | Christophe Raffalli | |
| 2001-01-12 | proof-string-match; | Makarius Wenzel | |
| 2001-01-12 | Updated. | David Aspinall | |
| 2001-01-12 | Updated. | David Aspinall | |
| 2001-01-12 | Updated. | David Aspinall | |
| 2001-01-12 | Fix loading thy mode fist problem: require proof-script since context | David Aspinall | |
| menus are now added for response/goals buffer, which requires proof mode. | |||
| 2001-01-12 | proof-string-match; | Makarius Wenzel | |
| 2001-01-12 | Updated. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |