diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:59:18 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:59:18 -0400 |
commit | e61d477caa079526842d23a24aba4bdd9a2a8362 (patch) | |
tree | 4a83696c16bee2b71657847bc16becc84387e49a /coqprime-8.4 | |
parent | 1554ea63676e285b8e8959bba6331a5ad11810d6 (diff) |
s/`proofgeneral`/Proof General/
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions