aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-splash.el
AgeCommit message (Expand)Author
2000-07-12Make proof-splash-message autoload.David Aspinall
2000-05-11Extra arg to proof-splash-display-screen to serve as an About box.David Aspinall
2000-05-09Splash screen now shown from autoloaded function.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
1999-11-15Added proof-splash-message.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1998-12-10Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.David Aspinall
1998-11-25Moved some settings to proof-config.David Aspinall
1998-11-06(Failed) Attempt to recognize XEmacs with broken jpeg supportDavid Aspinall
1998-11-03Customization group and type fixesDavid Aspinall
1998-10-29Crudely hacked Isabelle image onto splash screen.David Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-27Splash screen added back. Put in Xemacs test for noninteractive toDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26Removed a newlineDavid Aspinall
1998-10-26proof-splash: fixed layout of display, added more images andDavid Aspinall
1998-10-22Separated splash screen codeDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 16:29:29 +0000