aboutsummaryrefslogtreecommitdiffhomepage
path: root/bin
Commit message (Expand)AuthorAge
* TypoGravatar David Aspinall2004-09-11
* Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.Gravatar David Aspinall2004-06-04
* 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