aboutsummaryrefslogtreecommitdiff
path: root/bin/proofgeneral
AgeCommit message (Collapse)Author
2017-04-25Remove bin/proofgeneral and Update Makefiles accordingly.Erik Martin-Dorel
Closes ProofGeneral/PG#177
2016-09-19Make shell and perl scripts executable.Erik Martin-Dorel
This addresses part of the issues pointed out in #112
2015-02-02Fix test defeated by binary installDavid Aspinall
2009-12-01Quote arguments to EMACS/PGHOME.David Aspinall
2009-10-16Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/297David Aspinall
2009-09-15Fix back to defaultDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow ↵David Aspinall
pre-processing of commands when they're queued from script
2009-08-31Fix homeDavid Aspinall
2009-08-28Update autoloadsDavid Aspinall
2008-09-19Updated.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-19Clarify that editing this script is expectedDavid Aspinall
2008-02-15Update bug reporting addressDavid Aspinall
2008-01-31Updated.David Aspinall
2008-01-31updated CHANGESAssia Mahboubi
added an example file in coq/
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-02-02 18:32:34 +0000