index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-splash.el
Commit message (
Collapse
)
Author
Age
*
Add links to splash menu
David Aspinall
2008-08-03
|
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
|
*
Splash for a bit longer: people complain its too short
David Aspinall
2008-01-17
|
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
|
*
Many rearrangements for compatibility, efficient/correct compilation, ↵
David Aspinall
2008-01-15
|
|
|
|
|
|
|
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*
Remove low color-depth images; use GNU Emacs-specific toolbar images
David Aspinall
2007-12-12
|
*
Comments.
David Aspinall
2007-12-10
|
*
Update bug report locations
David Aspinall
2007-12-09
|
*
Rationalise testing for different values of window-system, to/and support ↵
David Aspinall
2006-10-27
|
|
|
|
more Emacs ports easily
*
Add proof-general-version-year
David Aspinall
2005-07-15
|
*
Missing proof-compat in proof-splash
David Aspinall
2005-07-15
|
*
Add patch by Stefan Monnier to revert frame titles (although would have ↵
David Aspinall
2005-02-13
|
|
|
|
liked to keep them maybe)
*
Use proof-general-short-version
David Aspinall
2004-08-25
|
*
Spurious "'s
David Aspinall
2004-04-16
|
*
Set frame title format to [Prover] Proof General: buffer.
David Aspinall
2004-04-15
|
*
Update (C)
David Aspinall
2004-02-18
|
*
Fix domain name
David Aspinall
2003-12-11
|
*
Check display is really available: XEmacs now defines device-pixel-depth ↵
David Aspinall
2003-06-13
|
|
|
|
even on terminals.
*
Bury splash buffer instead of merely switching away from it.
David Aspinall
2003-03-17
|
*
Improve removal of display of splash screen. Buffer still not killed ↵
David Aspinall
2003-03-16
|
|
|
|
(XEmacs prob)
*
Kludge for key-press during loading problem with splash screen.
David Aspinall
2003-03-14
|
*
Update dates
David Aspinall
2003-03-10
|
*
Fix Non-X frame error on Emacs 21
David Aspinall
2003-03-06
|
*
Dont restore window config if it seems like a different frame was used.
David Aspinall
2002-08-30
|
*
Try to avoid old setting proof-splash-extensions.
David Aspinall
2002-08-29
|
*
Make proof-splash-extensions defconst instead of defcustom
David Aspinall
2002-08-29
|
*
Disable pop-up-frames for splash.
David Aspinall
2002-08-28
|
*
proof-splash-display-image -> proof-get-image; generalise for xpm images.
David Aspinall
2002-08-08
|
*
Move imagep compat code to splash
David Aspinall
2002-07-19
|
*
Robustify form GNU Emacs
David Aspinall
2002-06-30
|
*
GPL
David Aspinall
2002-06-21
|
*
Year changes
David Aspinall
2002-03-21
|
*
Add support for Emacs 21 image display.
David Aspinall
2001-12-11
|
*
Remove dependent setting of timeout, since bin calls different fn now.
David Aspinall
2001-08-28
|
*
Trivial
David Aspinall
2001-08-28
|
*
Remove mention of toolbar variable. Make timeouts vary according to how ↵
David Aspinall
2001-08-28
|
|
|
|
started.
*
Timeout happens as intended now, while loading some parts of PG.
David Aspinall
2001-08-28
|
*
*** empty log message ***
Christophe Raffalli
2001-07-25
|
*
Various changes for win32 compatibility
Christophe Raffalli
2001-07-25
|
*
Display screen only if called interactively
David Aspinall
2001-05-29
|
*
Move configuration from proof-config here. Make proof-splash-message ↵
David Aspinall
2001-05-16
|
|
|
|
display logo or print message.
*
change for Emacs compatibility and FSF/Xemacs update. Copyright update.
David Aspinall
2001-05-03
|
*
Make proof-splash-message autoload.
David Aspinall
2000-07-12
|
*
Extra arg to proof-splash-display-screen to serve as an About box.
David Aspinall
2000-05-11
|
*
Splash screen now shown from autoloaded function.
David Aspinall
2000-05-09
|
*
Update copyright dates, comments.
David Aspinall
2000-04-04
|
*
Added proof-splash-message.
David Aspinall
1999-11-15
|
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
|
*
Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.
David Aspinall
1998-12-10
|
*
Moved some settings to proof-config.
David Aspinall
1998-11-25
|
[next]