On Fri, 22 Jul 2011, Tobias Grosser wrote: > I propose to switch to the official cloog.org cloog version with isl backend > and > at the same time to remove support for both CLooG-PPL legacy as well as > CLooG-Parma.
Where are the install.texi changes in this patch series? -- Joseph S. Myers jos...@codesourcery.com