| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |