aboutsummaryrefslogtreecommitdiffhomepage
path: root/bin
Commit message (Expand)AuthorAge
* Accidental update; revert to previousGravatar David Aspinall2001-09-03
* Updating branchGravatar David Aspinall2001-09-03
* Call function which always waits to prevent odd mode selection bug.Gravatar David Aspinall2001-08-28
* Run the display splash commandGravatar David Aspinall2001-05-16
* Pass extra args to emacs.Gravatar David Aspinall2000-10-02
* Script for launching proofgeneral.Gravatar David Aspinall2000-09-29