| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-10-14 | Refer to Apple's operating system as macOS | Tej Chajed | |
| Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X. | |||
| 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 | |
| - Specify the language for code excerpts - Refactor the "More info" section. | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |