aboutsummaryrefslogtreecommitdiff
path: root/bin/proofgeneral
AgeCommit message (Expand)Author
2008-02-15Update bug reporting addressDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-31updated CHANGESAssia Mahboubi
2008-01-31Updated.David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2007-03-12Prefer emacs before xemacs nowDavid Aspinall
2005-09-21Fix PGHOMEDEFAULTDavid Aspinall
2005-08-10Update yearDavid Aspinall
2004-09-11TypoDavid Aspinall
2004-06-04Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.David Aspinall
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 21:05:29 +0000