PeaCoq icon indicating copy to clipboard operation
PeaCoq copied to clipboard

Published 20 hours ago • verified publisher icon Ptival

Fail loudly when the wrong version of coqtop is found

Open Ptival opened this issue 8 years ago • 0 comments

Right now the server runs without a warning!

Ptival avatar May 09 '16 21:05 Ptival