aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-splash.el
Commit message (Expand)AuthorAge
* 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-17 09:39:06 +0000