Excerpts from Adam Chlipala's message of Sun Jan 02 17:33:50 +0100 2011: > P.S.: I noticed that, the last time I announced repos for separate It was me. I missed that. I thought the "static" page was static and I never looked for changes. I'm going to remove them adding a pointer to the static page instead.
Thanks! Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
