Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Put newlines at the end of files. | 2017-10-25 | |
| | |||
* | Installer for win32 | 2014-09-09 | |
Not 100% functional, but coqide works. The native compiler is embedded but: - some path mangling problem prevents it from working even when run via cygwin (like in the build process) - CAMLLIB must be exported to ${COQ}\ocaml\lib to have it run (coq should do it). fix |