K 10 svn:author V 6 johans K 8 svn:date V 27 2010-11-09T07:09:26.000000Z K 7 svn:log V 108 - Update coq to 8.3 - Add a patch to fix threading issues Submitted by: AUGER Cedric END