| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |