diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-20 13:13:06 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-20 13:13:06 +0100 |
| commit | 7696c0afa22fd9d63047a9af2b634cb0e5897d23 (patch) | |
| tree | 259bffc03804c16b4acb80d7352a57ce6cdcf8c7 /interp/implicit_quantifiers.ml | |
| parent | a426602c408cdf2ec2cc636cc79b9cc68ea238d1 (diff) | |
Use Debian changelog to determine COQ_VERSION
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions