aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-splash.el
AgeCommit message (Collapse)Author
2002-03-21Year changesDavid Aspinall
2001-12-11Add support for Emacs 21 image display.David Aspinall
2001-08-28Remove dependent setting of timeout, since bin calls different fn now.David Aspinall
2001-08-28TrivialDavid Aspinall
2001-08-28Remove mention of toolbar variable. Make timeouts vary according to how ↵David Aspinall
started.
2001-08-28Timeout happens as intended now, while loading some parts of PG.David Aspinall
2001-07-25*** empty log message ***Christophe Raffalli
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-05-29Display screen only if called interactivelyDavid Aspinall
2001-05-16Move configuration from proof-config here. Make proof-splash-message ↵David Aspinall
display logo or print message.
2001-05-03change for Emacs compatibility and FSF/Xemacs update. Copyright update.David Aspinall
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
fix odd arithmetic error during byte compile.
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
customizability, made FSF compatible.
1998-10-22Separated splash screen codeDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:58:10 +0000