proof-general/bin/proofgeneral, branch masterEmacs plugins for proof management systemsRemove bin/proofgeneral and Update Makefiles accordingly.2017-04-25T08:59:47+00:00Erik Martin-Dorel2017-04-25T08:52:21+00:001a18e33658645a81225c56b5d4f4a4b89434d301
Closes ProofGeneral/PG#177
Closes ProofGeneral/PG#177
Make shell and perl scripts executable.2016-09-19T16:35:56+00:00Erik Martin-Dorel2016-09-19T16:35:56+00:00b219fc3a64062c0a76daba7512acb1439b4965d1
This addresses part of the issues pointed out in #112
This addresses part of the issues pointed out in #112
Fix test defeated by binary install2015-02-02T12:59:17+00:00David Aspinall2015-02-02T12:59:17+00:00806cd783045d19c985eec4863b9a488535ae331a
Quote arguments to EMACS/PGHOME.2009-12-01T10:58:59+00:00David Aspinall2009-12-01T10:58:59+00:00222416c44716e759ec250486cbddb9d4ed30ab32
Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/2972009-10-16T11:46:49+00:00David Aspinall2009-10-16T11:46:49+00:000a7f48e8cc31697212cefbb5f4a98a6456e93324
Fix back to default2009-09-15T08:42:53+00:00David Aspinall2009-09-15T08:42:53+00:00b1472fb627a847b610ff82a2ebdf85241576169b
Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script2009-09-10T23:04:40+00:00David Aspinall2009-09-10T23:04:40+00:00ee91c3f2f1dd5f2f731db385134f38726b37b7ca