aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-splash.el
Commit message (Expand)AuthorAge
...
* Year changesGravatar David Aspinall2002-03-21
* Add support for Emacs 21 image display.Gravatar David Aspinall2001-12-11
* Remove dependent setting of timeout, since bin calls different fn now.Gravatar David Aspinall2001-08-28
* TrivialGravatar David Aspinall2001-08-28
* Remove mention of toolbar variable. Make timeouts vary according to how star...Gravatar David Aspinall2001-08-28
* Timeout happens as intended now, while loading some parts of PG.Gravatar David Aspinall2001-08-28
* *** empty log message ***Gravatar Christophe Raffalli2001-07-25
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* Display screen only if called interactivelyGravatar David Aspinall2001-05-29
* Move configuration from proof-config here. Make proof-splash-message display...Gravatar David Aspinall2001-05-16
* change for Emacs compatibility and FSF/Xemacs update. Copyright update.Gravatar David Aspinall2001-05-03
* Make proof-splash-message autoload.Gravatar David Aspinall2000-07-12
* Extra arg to proof-splash-display-screen to serve as an About box.Gravatar David Aspinall2000-05-11
* Splash screen now shown from autoloaded function.Gravatar David Aspinall2000-05-09
* Update copyright dates, comments.Gravatar David Aspinall2000-04-04
* Added proof-splash-message.Gravatar David Aspinall1999-11-15
* Reorganized user options. Special new code for boolean settings.Gravatar David Aspinall1999-11-10
* Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.Gravatar David Aspinall1998-12-10
* Moved some settings to proof-config.Gravatar David Aspinall1998-11-25
* (Failed) Attempt to recognize XEmacs with broken jpeg supportGravatar David Aspinall1998-11-06
* Customization group and type fixesGravatar David Aspinall1998-11-03
* Crudely hacked Isabelle image onto splash screen.Gravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Splash screen added back. Put in Xemacs test for noninteractive toGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Removed a newlineGravatar David Aspinall1998-10-26
* proof-splash: fixed layout of display, added more images andGravatar David Aspinall1998-10-26
* Separated splash screen codeGravatar David Aspinall1998-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 05:11:32 +0000