Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
coq
docs: Add comment
April 10, 2020 12:07
doc
Switch to GPLv3+ license [doc]
February 28, 2018 19:44
etc
Switch to GPLv3+ license [doc]
February 28, 2018 19:44
generic
Merge remote-tracking branch 'origin/font-lock-fix' into async
March 7, 2018 18:28
github-issues
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
images
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
lib
Switch to GPLv3+ license [rebase]
February 28, 2018 19:43
previous-art
Update PG's logo
May 24, 2016 23:28
.gitignore
fix parallel compilation and improve assertions and debugging code
October 27, 2016 09:25
.travis.yml
CI Emacs 25.3
March 11, 2018 23:57
AUTHORS
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
BUGS
Emphasise importance of Trac
January 10, 2012 13:00
CHANGES
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
COMPATIBILITY
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
COPYING
Switch to GPLv3+ license [rebase]
February 28, 2018 19:43
FAQ.md
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
HOWTO-USE
update upstream repo in docs
July 31, 2019 20:09
INSTALL
Update README
February 10, 2016 12:18
Makefile
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
Makefile.devel
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
Makefile.travis
CI Emacs 25.3
March 11, 2018 23:57
README.md
Add Travis badge for async branch as well
May 29, 2018 10:19
REGISTER
Fix domain name
December 11, 2003 17:01
TODO
Add support for Coq asynchronous processing mode
February 28, 2018 17:10
pg-init.el
Switch to GPLv3+ license [rebase]
February 28, 2018 19:43
proof-general-pkg.el
Switch to GPLv3+ license [new files]
February 28, 2018 19:44