3 ms·
Side note on Windows distributions: Besides ocpwin-distrib there is also Wodi [1] which started as a port of Godi and is fairly stable on windows. [1] http://w
by shadowfox 12y ago
Side note on Windows distributions: Besides ocpwin-distrib there is also Wodi [1] which started as a port of Godi and is fairly stable on windows.
[1] http://wodi.forge.ocamlcore.org/ http://wodi.forge.ocamlcore.org/