Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | David Aspinall | 2009-09-04 |
| | |||
* | Updates | David Aspinall | 2009-09-01 |
| | |||
* | Updated. | David Aspinall | 2008-07-10 |
| | |||
* | Updated. | David Aspinall | 2008-01-31 |
| | |||
* | Updated. | David Aspinall | 2008-01-31 |
| | |||
* | Updated. | David Aspinall | 2007-12-12 |
| | |||
* | Updated. | David Aspinall | 2005-07-15 |
| | |||
* | Updated. | David Aspinall | 2005-05-17 |
| | |||
* | Tip about fink xemacs-sumo package | David Aspinall | 2004-05-20 |
| | |||
* | Mention sumo | David Aspinall | 2004-05-19 |
| | |||
* | Updated. | David Aspinall | 2004-05-19 |
| | |||
* | Mention supported Emacs versions | David Aspinall | 2004-04-17 |
| | |||
* | Use own name instead of hiding behind mythical PG team | David Aspinall | 2004-04-16 |
| | |||
* | Update to mention multiple packages, etc. | David Aspinall | 2004-03-01 |
| | |||
* | Fix domain name | David Aspinall | 2003-12-11 |
| | |||
* | Note about .elcs | David Aspinall | 2003-04-22 |
| | |||
* | Updates | David Aspinall | 2002-08-08 |
| | |||
* | Update for recent releases. | David Aspinall | 2002-01-31 |
| | |||
* | Updates | David Aspinall | 2001-09-04 |
| | |||
* | Updating branch | David Aspinall | 2001-09-03 |
| | |||
* | Move specific install instructions into subdirs | David Aspinall | 2001-09-03 |
| | |||
* | Caveats about using elcs. | David Aspinall | 2000-10-02 |
| | |||
* | Update URLs and mail aliases. Mention script, and extensions for new provers | David Aspinall | 2000-09-29 |
| | |||
* | Note about packages needed | David Aspinall | 2000-09-29 |
| | |||
* | Updated | David Aspinall | 2000-09-23 |
| | |||
* | Message about packages needed (incomplete) | David Aspinall | 2000-06-09 |
| | |||
* | Notes about using on Windows | David Aspinall | 2000-03-23 |
| | |||
* | Mention .emacs line for RPM package, and default.el. | David Aspinall | 1999-11-26 |
| | |||
* | Mention path of bash in interface scripts | David Aspinall | 1999-11-23 |
| | |||
* | More optimistic about byte comp. | David Aspinall | 1999-11-18 |
| | |||
* | Updated | David Aspinall | 1999-11-17 |
| | |||
* | Removed note about probs with update() | David Aspinall | 1999-10-12 |
| | |||
* | Explained one-prover issue better. | David Aspinall | 1998-12-11 |
| | |||
* | Minor fixes/improvements | David Aspinall | 1998-11-12 |
| | |||
* | Updated and improved. | David Aspinall | 1998-11-03 |
| | |||
* | Added instructions for byte compilation, and other notes. | David Aspinall | 1998-10-27 |
| | |||
* | added note about Emacs versions | David Aspinall | 1998-10-12 |
| | |||
* | Customize also works in FSFmacs now | David Aspinall | 1998-10-12 |
| | |||
* | Added some notes for Isabelle | David Aspinall | 1998-10-07 |
| | |||
* | Removed erroneous mention of an elisp directory | David Aspinall | 1998-10-02 |
| | |||
* | Updated maintainer tags to remove lego email address. | David Aspinall | 1998-10-01 |
| | |||
* | Added note about changing perl path in {coq,lego}tags. | David Aspinall | 1998-09-24 |
| | |||
* | Updated instructions | David Aspinall | 1998-09-23 |
| | |||
* | Updated install script after finding problems with Savi's setup. | Healfdene Goguen | 1998-05-14 |
| | |||
* | Added comments about info file and default values in coq.el. | Healfdene Goguen | 1998-05-06 |
| | |||
* | Simpler procedure for compiling emacs lisp. | Healfdene Goguen | 1998-05-06 |
| | | | | Added coq-info-dir so that script-management.info can be hard-coded. | ||
* | Basic instructions that come with package | Healfdene Goguen | 1998-05-05 |