aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* Update PG's logoGravatar Clément Pit--Claudel2016-05-24
* More version number fixesGravatar Clément Pit--Claudel2016-02-13
* Set version tag for new release.Gravatar David Aspinall2015-03-13
* Summary: Update version yearGravatar David Aspinall2015-03-11
* 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
* Disable HOL Light support for release versionGravatar David Aspinall2012-09-04
* Set version tag for new release.Gravatar David Aspinall2012-09-02
* 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
* * generic/pg-user.el (which-func-modes): Fix compiler declaration.Gravatar Stefan Monnier2012-06-29
* Set version tag for new release.Gravatar David Aspinall2012-06-05
* Use proof-add-to-load-path to extend load-path. This way,Gravatar Hendrik Tews2012-05-08
* Set version tag for new release.Gravatar David Aspinall2012-04-30
* Set version tag for new release.Gravatar David Aspinall2012-04-11
* Bump yearGravatar David Aspinall2012-02-07
* New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)Gravatar David Aspinall2012-02-07
* 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
* Temporarily enable HOL Light globally for testingGravatar David Aspinall2012-01-05
* Set version tag for new release.Gravatar David Aspinall2012-01-04
* 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
* Set version tag for new release.Gravatar David Aspinall2011-10-03
* Set version tag for new release.Gravatar David Aspinall2011-09-19
* Set version tag for new release.Gravatar David Aspinall2011-09-16
* Set version tag for new release.Gravatar David Aspinall2011-08-24
* Set version tag for new release.Gravatar David Aspinall2011-08-23
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-09
* Set version tag for new release.Gravatar David Aspinall2011-06-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 11:04:07 +0000