Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix home | David Aspinall | 2009-08-31 |
* | Update autoloads | David Aspinall | 2009-08-28 |
* | Updated. | David Aspinall | 2008-09-19 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Clarify that editing this script is expected | David Aspinall | 2008-07-19 |
* | Update bug reporting address | David Aspinall | 2008-02-15 |
* | Updated. | David Aspinall | 2008-01-31 |
* | updated CHANGES | Assia Mahboubi | 2008-01-31 |
* | Updated. | David Aspinall | 2008-01-31 |
* | Fix RCS tags | David Aspinall | 2008-01-30 |
* | Prefer emacs before xemacs now | David Aspinall | 2007-03-12 |
* | Fix PGHOMEDEFAULT | David Aspinall | 2005-09-21 |
* | Update year | David Aspinall | 2005-08-10 |
* | Typo | David Aspinall | 2004-09-11 |
* | Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral. | David Aspinall | 2004-06-04 |
* | Updated. | David Aspinall | 2004-03-23 |
* | Fix default location | David Aspinall | 2004-03-01 |
* | Set to wroking default | David Aspinall | 2004-03-01 |
* | Fix to relative path again | David Aspinall | 2004-03-01 |
* | Pass unrecognized options to Emacs | David Aspinall | 2004-03-01 |
* | Tweak text. Allow choice of Emacs versions, and to work if PG already loaded. | David Aspinall | 2004-02-29 |
* | Add --emacs options | David Aspinall | 2004-02-29 |
* | Fix paths | David Aspinall | 2004-02-28 |
* | Robustify (add usage and version info) | David Aspinall | 2004-02-28 |
* | don't use -q argument to emacs | David Aspinall | 2002-09-04 |
* | Fix typo | David Aspinall | 2002-08-29 |
* | Observe EMACS environment variable | David Aspinall | 2002-08-29 |
* | Accidental update; revert to previous | David Aspinall | 2001-09-03 |
* | Updating branch | David Aspinall | 2001-09-03 |
* | Call function which always waits to prevent odd mode selection bug. | David Aspinall | 2001-08-28 |
* | Run the display splash command | David Aspinall | 2001-05-16 |
* | Pass extra args to emacs. | David Aspinall | 2000-10-02 |
* | Script for launching proofgeneral. | David Aspinall | 2000-09-29 |