-
Manu Beffara authored
This is required for Coq version 8.9.0. The previous command 'coqtop -ideslave' is still supported as a second choice for compatibility.
1ff3c89b
This is required for Coq version 8.9.0. The previous command 'coqtop -ideslave' is still supported as a second choice for compatibility.