Open varkor opened 6 years ago
coqtop uses non-breaking spaces instead of spaces in its output, which is frustrating when the user just wants to copy and paste the output directly into source. Here we replace non-breaking spaces with spaces in output strings to fix this.
coqtop
coqtopuses non-breaking spaces instead of spaces in its output, which is frustrating when the user just wants to copy and paste the output directly into source. Here we replace non-breaking spaces with spaces in output strings to fix this.