diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:23 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-14 15:11:31 +0100 |
| commit | 899e0b980396967970b15d062985dca7e29c59d3 (patch) | |
| tree | 9fb47e879fb6a2752ee50c974db64660191c29c2 /checker/main.ml | |
| parent | 144b0828b16f2ddde3c34aaccb59a70d8f977fae (diff) | |
proofgeneral-coq has been dropped in favour of proofgeneral
Diffstat (limited to 'checker/main.ml')
0 files changed, 0 insertions, 0 deletions