Mon, 12 Jan 2009 12:26:02 +0000Rename Lp*/Mip* to *Lp/*Mip
Alpar Juttner <alpar@cs.elte.hu> [Mon, 12 Jan 2009 12:26:02 +0000] rev 462
Rename Lp*/Mip* to *Lp/*Mip

Mon, 12 Jan 2009 12:26:01 +0000Remove lp_ prefix from the solver's header name
Alpar Juttner <alpar@cs.elte.hu> [Mon, 12 Jan 2009 12:26:01 +0000] rev 461
Remove lp_ prefix from the solver's header name