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 (
Expand
)
Author
Age
*
Update the documentation and prepare the release 4.4.
Erik Martin-Dorel
2016-09-18
*
Update PG's logo
Clément Pit--Claudel
2016-05-24
*
rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}
Hendrik Tews
2013-05-22
*
lower cpu utilization of splash screen, see Debian bug #642048
Hendrik Tews
2012-01-14
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
No compile warning if image-size not available
David Aspinall
2010-10-06
*
Fix bug in define-key for mouse-3.
David Aspinall
2010-08-22
*
Revert to 10.1 version of splash, with enhancements.
David Aspinall
2010-08-11
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Temporarily disable splash
David Aspinall
2010-08-03
*
Attempt to handle splash buffer cleanly.
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Further simplification
David Aspinall
2009-09-04
*
Simplify splash using view-mode and newer Emacs variables.
David Aspinall
2009-09-04
*
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, namespa...
David Aspinall
2008-01-15
*
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 mor...
David Aspinall
2006-10-27
*
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 liked...
David Aspinall
2005-02-13
*
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 even...
David Aspinall
2003-06-13
*
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 (XEmacs...
David Aspinall
2003-03-16
*
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 star...
David Aspinall
2001-08-28
[next]