| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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-30 |
| * | Bump version from 4.4.1~pre to 4.5-git | Erik Martin-Dorel | 2018-08-22 |
| * | Add note about PG branches and license | Erik Martin-Dorel | 2018-05-29 |
| * | Refer to Apple's operating system as macOS |  Tej Chajed | 2016-10-14 |
| * | Bump version number for next release cycle. | Erik Martin-Dorel | 2016-09-19 |
| * | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| * | Rename FAQ -> FAQ.md | Erik Martin-Dorel | 2016-07-26 |
| * | Add Travis CI badge. |  Erik Martin-Dorel | 2016-07-03 |
| * | Update README.md. | Erik Martin-Dorel | 2016-07-03 |
| * | Simplify code to add to .emacs |  Clément Pit--Claudel | 2016-02-20 |
| * | More version number fixes | Clément Pit--Claudel | 2016-02-13 |
| * | A few clarifications in README | Clément Pit--Claudel | 2016-02-12 |
| * | More README updates | Clément Pit--Claudel | 2016-02-10 |
| * | Update README | Clément Pit--Claudel | 2016-02-10 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |