aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-splash.el
AgeCommit message (Expand)Author
2007-12-12Remove low color-depth images; use GNU Emacs-specific toolbar imagesDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-09Update bug report locationsDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2005-07-15Add proof-general-version-yearDavid Aspinall
2005-07-15Missing proof-compat in proof-splashDavid Aspinall
2005-02-13Add patch by Stefan Monnier to revert frame titles (although would have liked...David Aspinall
2004-08-25Use proof-general-short-versionDavid Aspinall
2004-04-16Spurious "'sDavid Aspinall
2004-04-15Set frame title format to [Prover] Proof General: buffer.David Aspinall
2004-02-18Update (C)David Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-06-13Check display is really available: XEmacs now defines device-pixel-depth even...David Aspinall
2003-03-17Bury splash buffer instead of merely switching away from it.David Aspinall
2003-03-16Improve removal of display of splash screen. Buffer still not killed (XEmacs...David Aspinall
2003-03-14Kludge for key-press during loading problem with splash screen.David Aspinall
2003-03-10Update datesDavid Aspinall
2003-03-06Fix Non-X frame error on Emacs 21David Aspinall
2002-08-30Dont restore window config if it seems like a different frame was used.David Aspinall
2002-08-29Try to avoid old setting proof-splash-extensions.David Aspinall
2002-08-29Make proof-splash-extensions defconst instead of defcustomDavid Aspinall
2002-08-28Disable pop-up-frames for splash.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-06-30Robustify form GNU EmacsDavid Aspinall
2002-06-21GPLDavid Aspinall
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 star...David Aspinall
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 display...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 18:51:11 +0000