aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2018-08-22Bump version from 4.4.1~pre to 4.5-gitErik Martin-Dorel
This commit ensures the version number is (version-to-list)-compliant.
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el.
2017-01-17fix icon installation and add 64 and 128 square icons (fixes #141)Hendrik Tews
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-05-24Update PG's logoClément Pit--Claudel
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!
2016-02-13More version number fixesClément Pit--Claudel
2015-03-13Summary: Experimental DockerfileDavid Aspinall
2015-03-13Set version tag for new release.David Aspinall
2015-02-02Set version tag for new release.David Aspinall
2015-01-05Set version tag for new release.David Aspinall
2013-10-11Set version tag for new release.David Aspinall
2013-07-17Set version tag for new release.David Aspinall
2013-07-05Set version tag for new release.David Aspinall
2013-05-22Set version tag for new release.David Aspinall
2013-05-10Set version tag for new release.David Aspinall
2013-03-27Set version tag for new release.David Aspinall
2013-01-11Set version tag for new release.David Aspinall
2012-10-19Set version tag for new release.David Aspinall
2012-10-19Set version tag for new release.David Aspinall
2012-09-14Set version tag for new release.David Aspinall
2012-09-04Set version tag for new release.David Aspinall
2012-09-02Set version tag for new release.David Aspinall
2012-08-27Illustrat Trac #447David Aspinall
2012-08-14Set version tag for new release.David Aspinall
2012-08-09Set version tag for new release.David Aspinall
2012-07-27Set version tag for new release.David Aspinall
2012-07-23Set version tag for new release.David Aspinall
2012-06-05Set version tag for new release.David Aspinall
2012-04-30Set version tag for new release.David Aspinall
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵David Aspinall
without installing STIX.
2012-04-11Set version tag for new release.David Aspinall
2012-03-05remove deprecated desktop keysHendrik Tews
2012-02-08Test examples for HOL LightDavid Aspinall
2012-02-06Set version tag for new release.David Aspinall
2012-01-12Set version tag for new release.David Aspinall
2012-01-10Set version tag for new release.David Aspinall
2012-01-04Set version tag for new release.David Aspinall
2011-12-27Add big IntegralDavid Aspinall
2011-12-07Set version tag for new release.David Aspinall
2011-10-17Set version tag for new release.David Aspinall
2011-10-13Set version tag for new release.David Aspinall
2011-10-13Note on how to update base revision number (since I got it wrong on first try)David Aspinall
2011-10-03Set version tag for new release.David Aspinall
2011-09-28updated tests to Isabelle2011-1;Makarius Wenzel
2011-09-19Clean up a little bit, adding extra syntax to make buffer process fully.David Aspinall
2011-09-16Set version tag for new release.David Aspinall
2011-09-04some local buffer properties;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 22:41:56 +0000