CamlP5 ist eine Weiterentwicklung von CamlP4 3.09 oder jedenfalls einer damit kompatiblen Version von CamlP4.

CamlP4 selbst wird parallel weiterentwickelt, und die jüngste Version 3.10 macht anscheinend einige inkompatible Veränderungen, die dem ursprünglichen Designer von CamlP4 nicht so recht gefallen wollen, weshalb er sich dazu entschloß, seine eigene, traditionellere Version CamlP5 zu nennen.

So verstehe ich die Situation jedenfalls momentan. Vielleicht ist sie auch ganz anders.

Etwas verwirrend ist sie auf jeden Fall.