index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
bin
Commit message (
Expand
)
Author
Age
*
Make shell and perl scripts executable.
Erik Martin-Dorel
2016-09-19
*
Fix test defeated by binary install
David Aspinall
2015-02-02
*
Quote arguments to EMACS/PGHOME.
David Aspinall
2009-12-01
*
Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/297
David Aspinall
2009-10-16
*
Fix back to default
David Aspinall
2009-09-15
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Fix home
David Aspinall
2009-08-31
*
Update autoloads
David Aspinall
2009-08-28
*
Updated.
David Aspinall
2008-09-19
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Clarify that editing this script is expected
David Aspinall
2008-07-19
*
Update bug reporting address
David Aspinall
2008-02-15
*
Updated.
David Aspinall
2008-01-31
*
updated CHANGES
Assia Mahboubi
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Fix RCS tags
David Aspinall
2008-01-30
*
Prefer emacs before xemacs now
David Aspinall
2007-03-12
*
Fix PGHOMEDEFAULT
David Aspinall
2005-09-21
*
Update year
David Aspinall
2005-08-10
*
Typo
David Aspinall
2004-09-11
*
Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.
David Aspinall
2004-06-04
*
Updated.
David Aspinall
2004-03-23
*
Fix default location
David Aspinall
2004-03-01
*
Set to wroking default
David Aspinall
2004-03-01
*
Fix to relative path again
David Aspinall
2004-03-01
*
Pass unrecognized options to Emacs
David Aspinall
2004-03-01
*
Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.
David Aspinall
2004-02-29
*
Add --emacs options
David Aspinall
2004-02-29
*
Fix paths
David Aspinall
2004-02-28
*
Robustify (add usage and version info)
David Aspinall
2004-02-28
*
don't use -q argument to emacs
David Aspinall
2002-09-04
*
Fix typo
David Aspinall
2002-08-29
*
Observe EMACS environment variable
David Aspinall
2002-08-29
*
Accidental update; revert to previous
David Aspinall
2001-09-03
*
Updating branch
David Aspinall
2001-09-03
*
Call function which always waits to prevent odd mode selection bug.
David Aspinall
2001-08-28
*
Run the display splash command
David Aspinall
2001-05-16
*
Pass extra args to emacs.
David Aspinall
2000-10-02
*
Script for launching proofgeneral.
David Aspinall
2000-09-29