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