diff options
| author | Hendrik Tews | 2016-10-26 23:11:47 +0200 |
|---|---|---|
| committer | Hendrik Tews | 2016-10-27 09:26:40 +0200 |
| commit | f9138553b5fc6fcddc7748c3eb18527773406cc9 (patch) | |
| tree | e322ab47e6570cceade9ddb117851a99a94ab7d8 /pgshell | |
| parent | 8a7eecfa71e850e479822d879e3263c9ce5f2ede (diff) | |
give a more helpful error message if Coq version detection fails
- coq--pre-v85 signals coq-unclassifiable-version for "Invalid
version" errors
- background compilation converts this into an even more helpful
message (fixes #70)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions