index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-site.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Bump version from 4.4.1~pre to 4.5-git
Erik Martin-Dorel
2018-08-22
*
Merge pull request #200 from craff/master
Erik Martin-Dorel
2018-08-22
|
\
*
|
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
|
*
phox is back
Christophe Raffalli
2017-09-22
|
/
*
Fix easycrypt automode regexp
Mario Rodas
2017-06-19
*
Fix incorrect uses of defvar
Clément Pit--Claudel
2017-03-08
*
move phox from main to obscure instances
Hendrik Tews
2017-01-17
*
Merge pull request #44 from EasyCrypt/master
hendriktews
2017-01-17
|
\
*
|
Bump version number for next release cycle.
Erik Martin-Dorel
2016-09-19
*
|
Update PG's logo
Clément Pit--Claudel
2016-05-24
*
|
More version number fixes
Clément Pit--Claudel
2016-02-13
|
*
Import EasyCrypt PG mode
Pierre-Yves Strub
2016-01-29
|
/
*
Set version tag for new release.
David Aspinall
2015-03-13
*
Summary: Update version year
David Aspinall
2015-03-11
*
Set version tag for new release.
David Aspinall
2015-02-02
*
Set version tag for new release.
David Aspinall
2015-01-05
*
Set version tag for new release.
David Aspinall
2013-10-11
*
Set version tag for new release.
David Aspinall
2013-07-17
*
Set version tag for new release.
David Aspinall
2013-07-05
*
Set version tag for new release.
David Aspinall
2013-05-22
*
Set version tag for new release.
David Aspinall
2013-05-10
*
Set version tag for new release.
David Aspinall
2013-03-27
*
Set version tag for new release.
David Aspinall
2013-01-11
*
Set version tag for new release.
David Aspinall
2012-10-19
*
Set version tag for new release.
David Aspinall
2012-10-19
*
Set version tag for new release.
David Aspinall
2012-09-14
*
Set version tag for new release.
David Aspinall
2012-09-04
*
Disable HOL Light support for release version
David Aspinall
2012-09-04
*
Set version tag for new release.
David Aspinall
2012-09-02
*
Set version tag for new release.
David Aspinall
2012-08-14
*
Set version tag for new release.
David Aspinall
2012-08-09
*
Set version tag for new release.
David Aspinall
2012-07-27
*
Set version tag for new release.
David Aspinall
2012-07-23
*
* generic/pg-user.el (which-func-modes): Fix compiler declaration.
Stefan Monnier
2012-06-29
*
Set version tag for new release.
David Aspinall
2012-06-05
*
Use proof-add-to-load-path to extend load-path. This way,
Hendrik Tews
2012-05-08
*
Set version tag for new release.
David Aspinall
2012-04-30
*
Set version tag for new release.
David Aspinall
2012-04-11
*
Bump year
David Aspinall
2012-02-07
*
New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)
David Aspinall
2012-02-07
*
Set version tag for new release.
David Aspinall
2012-02-06
*
Set version tag for new release.
David Aspinall
2012-01-12
*
Set version tag for new release.
David Aspinall
2012-01-10
*
Temporarily enable HOL Light globally for testing
David Aspinall
2012-01-05
*
Set version tag for new release.
David Aspinall
2012-01-04
*
Set version tag for new release.
David Aspinall
2011-12-07
*
Set version tag for new release.
David Aspinall
2011-10-17
*
Set version tag for new release.
David Aspinall
2011-10-13
*
Set version tag for new release.
David Aspinall
2011-10-03
[next]