Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | 2017-05-24 | |
| | |||
* | Remove compile-time calls to proof-ready-for-assistant | 2017-03-08 | |
| | | | | | Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el. | ||
* | fix icon installation and add 64 and 128 square icons (fixes #141) | 2017-01-17 | |
| | |||
* | Bump version number for next release cycle. | 2016-09-19 | |
| | |||
* | 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! | ||
* | More version number fixes | 2016-02-13 | |
| | |||
* | Summary: Experimental Dockerfile | 2015-03-13 | |
| | |||
* | Set version tag for new release. | 2015-03-13 | |
| | |||
* | Set version tag for new release. | 2015-02-02 | |
| | |||
* | Set version tag for new release. | 2015-01-05 | |
| | |||
* | Set version tag for new release. | 2013-10-11 | |
| | |||
* | Set version tag for new release. | 2013-07-17 | |
| | |||
* | Set version tag for new release. | 2013-07-05 | |
| | |||
* | Set version tag for new release. | 2013-05-22 | |
| | |||
* | Set version tag for new release. | 2013-05-10 | |
| | |||
* | Set version tag for new release. | 2013-03-27 | |
| | |||
* | Set version tag for new release. | 2013-01-11 | |
| | |||
* | Set version tag for new release. | 2012-10-19 | |
| | |||
* | Set version tag for new release. | 2012-10-19 | |
| | |||
* | Set version tag for new release. | 2012-09-14 | |
| | |||
* | Set version tag for new release. | 2012-09-04 | |
| | |||
* | Set version tag for new release. | 2012-09-02 | |
| | |||
* | Illustrat Trac #447 | 2012-08-27 | |
| | |||
* | Set version tag for new release. | 2012-08-14 | |
| | |||
* | Set version tag for new release. | 2012-08-09 | |
| | |||
* | Set version tag for new release. | 2012-07-27 | |
| | |||
* | Set version tag for new release. | 2012-07-23 | |
| | |||
* | Set version tag for new release. | 2012-06-05 | |
| | |||
* | Set version tag for new release. | 2012-04-30 | |
| | |||
* | Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵ | 2012-04-30 | |
| | | | | without installing STIX. | ||
* | Set version tag for new release. | 2012-04-11 | |
| | |||
* | remove deprecated desktop keys | 2012-03-05 | |
| | |||
* | Test examples for HOL Light | 2012-02-08 | |
| | |||
* | Set version tag for new release. | 2012-02-06 | |
| | |||
* | Set version tag for new release. | 2012-01-12 | |
| | |||
* | Set version tag for new release. | 2012-01-10 | |
| | |||
* | Set version tag for new release. | 2012-01-04 | |
| | |||
* | Add big Integral | 2011-12-27 | |
| | |||
* | Set version tag for new release. | 2011-12-07 | |
| | |||
* | Set version tag for new release. | 2011-10-17 | |
| | |||
* | Set version tag for new release. | 2011-10-13 | |
| | |||
* | Note on how to update base revision number (since I got it wrong on first try) | 2011-10-13 | |
| | |||
* | Set version tag for new release. | 2011-10-03 | |
| | |||
* | updated tests to Isabelle2011-1; | 2011-09-28 | |
| | |||
* | Clean up a little bit, adding extra syntax to make buffer process fully. | 2011-09-19 | |
| | |||
* | Set version tag for new release. | 2011-09-16 | |
| | |||
* | some local buffer properties; | 2011-09-04 | |
| | |||
* | Set version tag for new release. | 2011-08-24 | |
| |