diff options
| author | Clément Pit--Claudel | 2016-02-12 16:38:08 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-02-12 16:39:46 -0500 |
| commit | 1a3efed6d4eb2aff8b95648932ddf68c4f022f30 (patch) | |
| tree | f3ed420f63265c135bc45262778e7133ada84c97 /generic/proof-site.el | |
| parent | 942a4085d8b17b0be52d4e3c314fd6329a1aa8f5 (diff) | |
A few clarifications in README
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions