aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2011-06-01
* Set version tag for new release.Gravatar David Aspinall2011-05-30
* Set version tag for new release.Gravatar David Aspinall2011-05-27
* Set version tag for new release.Gravatar David Aspinall2011-05-16
* Set version tag for new release.Gravatar David Aspinall2011-05-12
* - add ".vo", ".glob" to completion-ignored-extensions when ProofGravatar Hendrik Tews2011-05-12
* Version yearGravatar David Aspinall2011-05-06
* Set version tag for new release.Gravatar David Aspinall2011-05-05
* Set version tag for new release.Gravatar David Aspinall2011-04-26
* Set version tag for new release.Gravatar David Aspinall2011-03-09
* Set version tag for new release.Gravatar David Aspinall2011-02-23
* Set version tag for new release.Gravatar David Aspinall2011-01-31
* Set version tag for new release.Gravatar David Aspinall2011-01-25
* Set version tag for new release.Gravatar David Aspinall2011-01-24
* Set version tag for new release.Gravatar David Aspinall2011-01-19
* Set version tag for new release.Gravatar David Aspinall2011-01-18
* Set version tag for new release.Gravatar David Aspinall2011-01-12
* Set version tag for new release.Gravatar David Aspinall2010-12-16
* Set version tag for new release.Gravatar David Aspinall2010-12-10
* Set version tag for new release.Gravatar David Aspinall2010-11-25
* Set version tag for new release.Gravatar David Aspinall2010-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 19:33:22 +0000