aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
2021-01-31fix typos and unicode single quotations in doc stringsHendrik Tews
2020-03-13Fix 464: proof-autoloads not found by EmacsPierre Courtieu
2018-12-25Reduce the impact of proof-site, in case PG is not usedStefan Monnier
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-08-22Bump version from 4.4.1~pre to 4.5-gitErik Martin-Dorel
2018-08-22Merge pull request #200 from craff/masterErik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-09-22phox is backChristophe Raffalli
2017-06-19Fix easycrypt automode regexpMario Rodas
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-17move phox from main to obscure instancesHendrik Tews
2017-01-17Merge pull request #44 from EasyCrypt/masterhendriktews
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-05-24Update PG's logoClément Pit--Claudel
2016-02-13More version number fixesClément Pit--Claudel
2016-01-29Import EasyCrypt PG modePierre-Yves Strub
2015-03-13Set version tag for new release.David Aspinall
2015-03-11Summary: Update version yearDavid 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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:40:17 +0000