Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Quote arguments to EMACS/PGHOME. | David Aspinall | 2009-12-01 |
| | |||
* | Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/297 | David Aspinall | 2009-10-16 |
| | |||
* | Fix back to default | David Aspinall | 2009-09-15 |
| | |||
* | Experimental changes to queue several commands at once and to allow ↵ | David Aspinall | 2009-09-10 |
| | | | | pre-processing of commands when they're queued from script | ||
* | 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 |
| | | | | added an example file in coq/ | ||
* | 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 |