index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
README.md
Age
Commit message (
Expand
)
Author
2021-02-13
Update README.md
Julin S
2020-12-06
docs: Update README.md accordingly & Mention the URL of the debbug
Erik Martin-Dorel
2020-09-11
Update PhoX link and add https (#510)
dymil
2020-04-21
docs(README.md): Update CI badge
Erik Martin-Dorel
2018-08-30
Add MELPA badge
Erik Martin-Dorel
2018-08-30
Update the section of supported PAs
Erik Martin-Dorel
2018-08-30
README.md: Update installation instructions
Erik Martin-Dorel
2018-08-22
Bump version from 4.4.1~pre to 4.5-git
Erik Martin-Dorel
2018-05-29
Add note about PG branches and license
Erik Martin-Dorel
2016-10-14
Refer to Apple's operating system as macOS
Tej Chajed
2016-09-19
Bump version number for next release cycle.
Erik Martin-Dorel
2016-09-18
Update the documentation and prepare the release 4.4.
Erik Martin-Dorel
2016-07-26
Rename FAQ -> FAQ.md
Erik Martin-Dorel
2016-07-03
Add Travis CI badge.
Erik Martin-Dorel
2016-07-03
Update README.md.
Erik Martin-Dorel
2016-02-20
Simplify code to add to .emacs
Clément Pit--Claudel
2016-02-13
More version number fixes
Clément Pit--Claudel
2016-02-12
A few clarifications in README
Clément Pit--Claudel
2016-02-10
More README updates
Clément Pit--Claudel
2016-02-10
Update README
Clément Pit--Claudel