aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
2012-09-14Set version tag for new release.David Aspinall
2012-09-04Set version tag for new release.David Aspinall
2012-09-04Disable HOL Light support for release versionDavid Aspinall
2012-09-02Set version tag for new release.David 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-29* generic/pg-user.el (which-func-modes): Fix compiler declaration.Stefan Monnier
2012-06-05Set version tag for new release.David Aspinall
2012-05-08Use proof-add-to-load-path to extend load-path. This way,Hendrik Tews
2012-04-30Set version tag for new release.David Aspinall
2012-04-11Set version tag for new release.David Aspinall
2012-02-07Bump yearDavid Aspinall
2012-02-07New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)David 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-05Temporarily enable HOL Light globally for testingDavid Aspinall
2012-01-04Set version tag for new release.David 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-03Set version tag for new release.David Aspinall
2011-09-19Set version tag for new release.David Aspinall
2011-09-16Set version tag for new release.David Aspinall
2011-08-24Set version tag for new release.David Aspinall
2011-08-23Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-22Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-10Set version tag for new release.David Aspinall
2011-06-09Set version tag for new release.David Aspinall
2011-06-07Set version tag for new release.David Aspinall
2011-06-01Set version tag for new release.David Aspinall
2011-05-30Set version tag for new release.David Aspinall
2011-05-27Set version tag for new release.David Aspinall
2011-05-16Set version tag for new release.David Aspinall
2011-05-12Set version tag for new release.David Aspinall
2011-05-12- add ".vo", ".glob" to completion-ignored-extensions when ProofHendrik Tews
2011-05-06Version yearDavid Aspinall
2011-05-05Set version tag for new release.David Aspinall
2011-04-26Set version tag for new release.David Aspinall
2011-03-09Set version tag for new release.David Aspinall
2011-02-23Set version tag for new release.David Aspinall
2011-01-31Set version tag for new release.David Aspinall
2011-01-25Set version tag for new release.David Aspinall
2011-01-24Set version tag for new release.David Aspinall
2011-01-19Set version tag for new release.David Aspinall
2011-01-18Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:34:54 +0000