aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-splash.el
AgeCommit message (Expand)Author
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-05-24Update PG's logoClément Pit--Claudel
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
2012-01-14lower cpu utilization of splash screen, see Debian bug #642048Hendrik Tews
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...David Aspinall
2010-10-06No compile warning if image-size not availableDavid Aspinall
2010-08-22Fix bug in define-key for mouse-3.David Aspinall
2010-08-11Revert to 10.1 version of splash, with enhancements.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03Temporarily disable splashDavid Aspinall
2009-09-07Attempt to handle splash buffer cleanly.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Further simplificationDavid Aspinall
2009-09-04Simplify splash using view-mode and newer Emacs variables.David Aspinall
2008-08-03Add links to splash menuDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-17Splash for a bit longer: people complain its too shortDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:36:27 +0000