diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:23 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:51 +0200 |
| commit | b2e7bf847ea2669ec3231cfd62e8d77c901df363 (patch) | |
| tree | ebdefce3f084d5dea24517828e7fa18c63084e02 /COPYRIGHT | |
| parent | 4482ea1edb5570f0beca73183c1d32756970c317 (diff) | |
proofgeneral-coq has been dropped in favour of proofgeneral
Diffstat (limited to 'COPYRIGHT')
0 files changed, 0 insertions, 0 deletions