v1.2.22-beta.2

This is the second release of my development for OcaIDE.

You can download the binary files in this link:
https://www.dropbox.com/s/ujqtbc95zavf490/ocaide-1.2.22-beta.2.zip?dl=0

To install: unzip and copy two .jar files into folder "dropins" inside your Eclipse installation folder.
(If "dropins" doesn't exist, then copy them to "plugins" folder inside Eclipse)

For official release version, please check out: http://www.algo-prog.info/ocaide/

v1.2.22-beta.1

This is a temporary release version of my development for OcaIDE.
You can download the binary files in this link:
https://www.dropbox.com/s/nu74ii8ige5toi3/ocaide-1.2.22-beta.1.zip?dl=0

To install: unzip and copy two .jar files into folder "dropins" inside your Eclipse installation folder.
(If "dropins" doesn't exist, then copy them to "plugins" folder inside Eclipse)

For official release version, please check out: http://www.algo-prog.info/ocaide/