aboutsummaryrefslogtreecommitdiffhomepage
path: root/bin
Commit message (Collapse)AuthorAge
* Updated.Gravatar David Aspinall2004-03-23
|
* Fix default locationGravatar David Aspinall2004-03-01
|
* Set to wroking defaultGravatar David Aspinall2004-03-01
|
* Fix to relative path againGravatar David Aspinall2004-03-01
|
* Pass unrecognized options to EmacsGravatar David Aspinall2004-03-01
|
* Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.Gravatar David Aspinall2004-02-29
|
* Add --emacs optionsGravatar David Aspinall2004-02-29
|
* Fix pathsGravatar David Aspinall2004-02-28
|
* Robustify (add usage and version info)Gravatar David Aspinall2004-02-28
|
* don't use -q argument to emacsGravatar David Aspinall2002-09-04
|
* Fix typoGravatar David Aspinall2002-08-29
|
* Observe EMACS environment variableGravatar David Aspinall2002-08-29
|
* Accidental update; revert to previousGravatar David Aspinall2001-09-03
|
* Updating branchGravatar David Aspinall2001-09-03
|
* Call function which always waits to prevent odd mode selection bug.Gravatar David Aspinall2001-08-28
|
* Run the display splash commandGravatar David Aspinall2001-05-16
|
* Pass extra args to emacs.Gravatar David Aspinall2000-10-02
|
* Script for launching proofgeneral.Gravatar David Aspinall2000-09-29