aboutsummaryrefslogtreecommitdiff
path: root/bin
AgeCommit message (Expand)Author
2004-03-23Updated.David Aspinall
2004-03-01Fix default locationDavid Aspinall
2004-03-01Set to wroking defaultDavid Aspinall
2004-03-01Fix to relative path againDavid Aspinall
2004-03-01Pass unrecognized options to EmacsDavid Aspinall
2004-02-29Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.David Aspinall
2004-02-29Add --emacs optionsDavid Aspinall
2004-02-28Fix pathsDavid Aspinall
2004-02-28Robustify (add usage and version info)David Aspinall
2002-09-04don't use -q argument to emacsDavid Aspinall
2002-08-29Fix typoDavid Aspinall
2002-08-29Observe EMACS environment variableDavid Aspinall
2001-09-03Accidental update; revert to previousDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-08-28Call function which always waits to prevent odd mode selection bug.David Aspinall
2001-05-16Run the display splash commandDavid Aspinall
2000-10-02Pass extra args to emacs.David Aspinall
2000-09-29Script for launching proofgeneral.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:26:31 +0000