diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-05-29 10:03:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-29 10:03:28 +0200 |
commit | 9ba67efb35f4a68b4d7a23e0dc3fd4970af943d8 (patch) | |
tree | adb2a992c0fdf34ee03377aa7ae1f5de4e85172b /coq | |
parent | 73792323172e289b531afc086d3f97323b28ecb6 (diff) | |
parent | 75283fdbb3c9179730091ec7076b37a9bcb86dad (diff) |
Merge pull request #360 from ProofGeneral/update-readme
Update README.md (about PG branches and license)
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions