diff options
| author | Enrico Tassi | 2014-09-09 15:49:01 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-09 15:49:01 +0200 |
| commit | fbbb86bf7c6b864a509a4cca11cac5fbd5d37efc (patch) | |
| tree | 9ffa1fcc42fa58833b924dc9cae426d8afe3ded8 /kernel/type_errors.ml | |
| parent | 0978120752ce0546de113b890bdd974413352685 (diff) | |
Installer for win improved
- checks for paths containing whitespaces
- Coqide has syntax highlighting
- does not include the ocaml compiler, since it would not work anyway
for the purpose of native compile. For that we really need the whole
toolchain, including the C linker/assembler. Hence we should just
recommend to install the SDK
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions