diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-06 12:17:45 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-06 12:17:45 -0400 |
| commit | 2c56adb6bc1eb93904366b7acf9a5cc739c919fc (patch) | |
| tree | f69fa7c85fee2c6317016bdc1f7b95e85b010eb0 /.travis.yml | |
| parent | e9c62c5187350066ef80d993805d9b8c19d53a9c (diff) | |
Coq 8.5 can't handle symbol-free notations
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions