This commit was manufactured by cvs2svn to create tag 'buildscript'.
[IRC.git] /
1 [forall e in Example], e.X > 0;