aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
* Merge pull request #200 from craff/masterGravatar Erik Martin-Dorel2018-08-22
|\
* | Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
| * phox is backGravatar Christophe Raffalli2017-09-22
|/
* Fix easycrypt automode regexpGravatar Mario Rodas2017-06-19
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* move phox from main to obscure instancesGravatar Hendrik Tews2017-01-17
* Merge pull request #44 from EasyCrypt/masterGravatar hendriktews2017-01-17
|\
* | 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
| * Import EasyCrypt PG modeGravatar Pierre-Yves Strub2016-01-29
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 21:07:25 +0000