diff options
author | 2017-09-05 13:11:29 +0200 | |
---|---|---|
committer | 2017-09-15 10:23:57 +0200 | |
commit | 587e556a909fcd2e1507a9230d9cdaffa3f9394e (patch) | |
tree | c5e26f48a065b4515a1adc6ed7ecb14ec7495f63 /toplevel/coqtop.ml | |
parent | 6c678a68c081ce24bbdcb092db3f57ef7e171dac (diff) |
Switch Travis to OSX 10.12 and Xcode 8.3.3.
Diffstat (limited to 'toplevel/coqtop.ml')
0 files changed, 0 insertions, 0 deletions