diff options
author | Jason Gross <jagro@google.com> | 2016-07-20 15:53:13 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-20 18:48:04 -0700 |
commit | 63cec62a5ae63f545f9db845e14552d6df19b86e (patch) | |
tree | 1aec236b42cc23f065182550a9ce7b048823463b /src | |
parent | 3b89a26a5266f33dbfdf6968557de29a471098ab (diff) |
Add support for TIMED=1 in Coq 8.4
This should fix #34
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions