K 10 svn:author V 9 scheidell K 8 svn:date V 27 2012-03-03T00:09:19.000000Z K 7 svn:log V 188 - Update to 6.04 PR: ports/165625 Submitted by: Hirohisa Yamaguchi (maintainer) Approved by: gabor (mentor, implicit) Obtained from: http://cristal.inria.fr/~ddr/camlp5/ END