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 /debian/coqide.1 | |
parent | 4482ea1edb5570f0beca73183c1d32756970c317 (diff) |
proofgeneral-coq has been dropped in favour of proofgeneral
Diffstat (limited to 'debian/coqide.1')
0 files changed, 0 insertions, 0 deletions