An UNOFFICIAL mirror of the Patoline (http://patoline.org) darcs repository