aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-splash.el
Commit message (Expand)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Update PG's logoGravatar Clément Pit--Claudel2016-05-24
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* lower cpu utilization of splash screen, see Debian bug #642048Gravatar Hendrik Tews2012-01-14
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* No compile warning if image-size not availableGravatar David Aspinall2010-10-06
* Fix bug in define-key for mouse-3.Gravatar David Aspinall2010-08-22
* Revert to 10.1 version of splash, with enhancements.Gravatar David Aspinall2010-08-11
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Temporarily disable splashGravatar David Aspinall2010-08-03
* Attempt to handle splash buffer cleanly.Gravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Further simplificationGravatar David Aspinall2009-09-04
* Simplify splash using view-mode and newer Emacs variables.Gravatar David Aspinall2009-09-04
* Add links to splash menuGravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Splash for a bit longer: people complain its too shortGravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Remove low color-depth images; use GNU Emacs-specific toolbar imagesGravatar David Aspinall2007-12-12
* Comments.Gravatar David Aspinall2007-12-10
* Update bug report locationsGravatar David Aspinall2007-12-09
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* Missing proof-compat in proof-splashGravatar David Aspinall2005-07-15
* Add patch by Stefan Monnier to revert frame titles (although would have liked...Gravatar David Aspinall2005-02-13
* Use proof-general-short-versionGravatar David Aspinall2004-08-25
* Spurious "'sGravatar David Aspinall2004-04-16
* Set frame title format to [Prover] Proof General: buffer.Gravatar David Aspinall2004-04-15
* Update (C)Gravatar David Aspinall2004-02-18
* Fix domain nameGravatar David Aspinall2003-12-11
* Check display is really available: XEmacs now defines device-pixel-depth even...Gravatar David Aspinall2003-06-13
* Bury splash buffer instead of merely switching away from it.Gravatar David Aspinall2003-03-17
* Improve removal of display of splash screen. Buffer still not killed (XEmacs...Gravatar David Aspinall2003-03-16
* Kludge for key-press during loading problem with splash screen.Gravatar David Aspinall2003-03-14
* Update datesGravatar David Aspinall2003-03-10
* Fix Non-X frame error on Emacs 21Gravatar David Aspinall2003-03-06
* Dont restore window config if it seems like a different frame was used.Gravatar David Aspinall2002-08-30
* Try to avoid old setting proof-splash-extensions.Gravatar David Aspinall2002-08-29
* Make proof-splash-extensions defconst instead of defcustomGravatar David Aspinall2002-08-29
* Disable pop-up-frames for splash.Gravatar David Aspinall2002-08-28
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Move imagep compat code to splashGravatar David Aspinall2002-07-19
* Robustify form GNU EmacsGravatar David Aspinall2002-06-30
* GPLGravatar David Aspinall2002-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 13:38:29 +0000