aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* fix icon installation and add 64 and 128 square icons (fixes #141)Gravatar Hendrik Tews2017-01-17
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* 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
* More version number fixesGravatar Clément Pit--Claudel2016-02-13
* Summary: Experimental DockerfileGravatar David Aspinall2015-03-13
* Set version tag for new release.Gravatar David Aspinall2015-03-13
* Set version tag for new release.Gravatar David Aspinall2015-02-02
* Set version tag for new release.Gravatar David Aspinall2015-01-05
* Set version tag for new release.Gravatar David Aspinall2013-10-11
* Set version tag for new release.Gravatar David Aspinall2013-07-17
* Set version tag for new release.Gravatar David Aspinall2013-07-05
* Set version tag for new release.Gravatar David Aspinall2013-05-22
* Set version tag for new release.Gravatar David Aspinall2013-05-10
* Set version tag for new release.Gravatar David Aspinall2013-03-27
* Set version tag for new release.Gravatar David Aspinall2013-01-11
* Set version tag for new release.Gravatar David Aspinall2012-10-19
* Set version tag for new release.Gravatar David Aspinall2012-10-19
* Set version tag for new release.Gravatar David Aspinall2012-09-14
* Set version tag for new release.Gravatar David Aspinall2012-09-04
* Set version tag for new release.Gravatar David Aspinall2012-09-02
* Illustrat Trac #447Gravatar David Aspinall2012-08-27
* Set version tag for new release.Gravatar David Aspinall2012-08-14
* Set version tag for new release.Gravatar David Aspinall2012-08-09
* Set version tag for new release.Gravatar David Aspinall2012-07-27
* Set version tag for new release.Gravatar David Aspinall2012-07-23
* Set version tag for new release.Gravatar David Aspinall2012-06-05
* Set version tag for new release.Gravatar David Aspinall2012-04-30
* Change default Unicode Tokens font back to DejaVU Sans, more reliable without...Gravatar David Aspinall2012-04-30
* Set version tag for new release.Gravatar David Aspinall2012-04-11
* remove deprecated desktop keysGravatar Hendrik Tews2012-03-05
* Test examples for HOL LightGravatar David Aspinall2012-02-08
* Set version tag for new release.Gravatar David Aspinall2012-02-06
* Set version tag for new release.Gravatar David Aspinall2012-01-12
* Set version tag for new release.Gravatar David Aspinall2012-01-10
* Set version tag for new release.Gravatar David Aspinall2012-01-04
* Add big IntegralGravatar David Aspinall2011-12-27
* Set version tag for new release.Gravatar David Aspinall2011-12-07
* Set version tag for new release.Gravatar David Aspinall2011-10-17
* Set version tag for new release.Gravatar David Aspinall2011-10-13
* Note on how to update base revision number (since I got it wrong on first try)Gravatar David Aspinall2011-10-13
* Set version tag for new release.Gravatar David Aspinall2011-10-03
* updated tests to Isabelle2011-1;Gravatar Makarius Wenzel2011-09-28
* Clean up a little bit, adding extra syntax to make buffer process fully.Gravatar David Aspinall2011-09-19
* Set version tag for new release.Gravatar David Aspinall2011-09-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 07:32:16 +0000