Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | 2018-08-23 | |
| | |||
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Fix incorrect assumption that noninteractive == byte-compiling | 2017-03-08 | |
| | | | | | The PG Makefile does ensure (using --batch) that noninteractive is non-nil while compiling, but package.el doesn't. | ||
* | Update the documentation and prepare the release 4.4. | 2016-09-18 | |
| | |||
* | Update PG's logo | 2016-05-24 | |
| | | | | | | | The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! | ||
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | 2013-05-22 | |
| | | | | to fix #472 | ||
* | lower cpu utilization of splash screen, see Debian bug #642048 | 2012-01-14 | |
| | |||
* | Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵ | 2011-10-13 | |
| | | | | interactive-p with called-interactively-p) | ||
* | No compile warning if image-size not available | 2010-10-06 | |
| | |||
* | Fix bug in define-key for mouse-3. | 2010-08-22 | |
| | |||
* | Revert to 10.1 version of splash, with enhancements. | 2010-08-11 | |
| | |||
* | Checkdoc cleanups | 2010-08-08 | |
| | |||
* | Temporarily disable splash | 2010-08-03 | |
| | |||
* | Attempt to handle splash buffer cleanly. | 2009-09-07 | |
| | |||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | Further simplification | 2009-09-04 | |
| | |||
* | Simplify splash using view-mode and newer Emacs variables. | 2009-09-04 | |
| | | | | | Remove timeout from About usage to avoid confusion with disappearing window with mouse events. | ||
* | Add links to splash menu | 2008-08-03 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Splash for a bit longer: people complain its too short | 2008-01-17 | |
| | |||
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 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 | 2007-12-12 | |
| | |||
* | Comments. | 2007-12-10 | |
| | |||
* | Update bug report locations | 2007-12-09 | |
| | |||
* | Rationalise testing for different values of window-system, to/and support ↵ | 2006-10-27 | |
| | | | | more Emacs ports easily | ||
* | Add proof-general-version-year | 2005-07-15 | |
| | |||
* | Missing proof-compat in proof-splash | 2005-07-15 | |
| | |||
* | Add patch by Stefan Monnier to revert frame titles (although would have ↵ | 2005-02-13 | |
| | | | | liked to keep them maybe) | ||
* | Use proof-general-short-version | 2004-08-25 | |
| | |||
* | Spurious "'s | 2004-04-16 | |
| | |||
* | Set frame title format to [Prover] Proof General: buffer. | 2004-04-15 | |
| | |||
* | Update (C) | 2004-02-18 | |
| | |||
* | Fix domain name | 2003-12-11 | |
| | |||
* | Check display is really available: XEmacs now defines device-pixel-depth ↵ | 2003-06-13 | |
| | | | | even on terminals. | ||
* | Bury splash buffer instead of merely switching away from it. | 2003-03-17 | |
| | |||
* | Improve removal of display of splash screen. Buffer still not killed ↵ | 2003-03-16 | |
| | | | | (XEmacs prob) | ||
* | Kludge for key-press during loading problem with splash screen. | 2003-03-14 | |
| | |||
* | Update dates | 2003-03-10 | |
| | |||
* | Fix Non-X frame error on Emacs 21 | 2003-03-06 | |
| | |||
* | Dont restore window config if it seems like a different frame was used. | 2002-08-30 | |
| | |||
* | Try to avoid old setting proof-splash-extensions. | 2002-08-29 | |
| | |||
* | Make proof-splash-extensions defconst instead of defcustom | 2002-08-29 | |
| | |||
* | Disable pop-up-frames for splash. | 2002-08-28 | |
| | |||
* | proof-splash-display-image -> proof-get-image; generalise for xpm images. | 2002-08-08 | |
| | |||
* | Move imagep compat code to splash | 2002-07-19 | |
| | |||
* | Robustify form GNU Emacs | 2002-06-30 | |
| | |||
* | GPL | 2002-06-21 | |
| | |||
* | Year changes | 2002-03-21 | |
| | |||
* | Add support for Emacs 21 image display. | 2001-12-11 | |
| |