| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-10-25 | Put newlines at the end of files. | Gaëtan Gilbert | |
| 2014-09-09 | Installer for win32 | Enrico Tassi | |
| 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 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |